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)
- Dr. Redmond's presentation to Ontolog on "Developing Applications in Protégé" at: ConferenceCall_2006_06_29 (NXT)
- Presentation by Dr. Timothy Redmond and PeterYim on "Distributed Ontology Development with Protégé" to Ontolog, at: ConferenceCall_2007_10_11 (14D0)