Timothy Redmond    (NKC)

Research Staff,
Stanford Center for Biomedical Informatics Research (formerly Stanford Medical Informatics), and 
Chief Architect for Protégé    (NKE)

Dr. Timothy Redmond received a B.S. in Mathematics from the University of California, Santa Barbara (1980) and a Ph.D. in mathematics from Princeton University (1984). Since that time, Dr. Redmond has worked in the area of formal methods and their application to verifying the correctness and security of computer systems. He has extensive experience with formal methods including experience using systems such as HOL, InaJo and SDVS.    (NXS)

See:    (14CZ)