Timothy Redmond

Research Staff,

Stanford Center for Biomedical Informatics Research (formerly Stanford Medical Informatics), and

Chief Architect for Protégé

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.

See:

• Dr. Redmond's presentation to Ontolog on "Developing Applications in Protégé" at: ConferenceCall_2006_06_29
• Presentation by Dr. Timothy Redmond and Peter P. Yim on "Distributed Ontology Development with Protégé" to Ontolog, at: ConferenceCall_2007_10_11