From OntologPSMW

Jump to: navigation, search
[ ]

Timothy Redmond     (1)

Research Staff,     (1A)

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

Chief Architect for Prot��g��     (1C)

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.     (1D)

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

This page has been migrated from the OntologWiki - Click here for original page     (1H)