https://ontologforum.com/index.php?action=history&feed=atom&title=TimRedmond 2026-06-25T12:42:02Z Revision history for this page on the wiki MediaWiki 1.39.0 https://ontologforum.com/index.php?title=TimRedmond&diff=2582&oldid=prev 2016-01-09T08:43:38Z

<p>Fix PurpleMediaWiki references</p> <p><b>New page</b></p><div>= Timothy Redmond =<br /> <br /> Research Staff,<br /> <br /> '''Stanford Center for Biomedical Informatics Research''' (formerly Stanford Medical Informatics), and <br /> <br /> '''Chief Architect for Prot&amp;eacute;g&amp;eacute;''' <br /> <br /> 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. <br /> <br /> See: <br /> <br /> * Dr. Redmond's presentation to Ontolog on &quot;'''Developing Applications in Prot&amp;eacute;g&amp;eacute;'''&quot; at: ConferenceCall_2006_06_29 <br /> * Presentation by Dr. Timothy Redmond and [[PeterYim|Peter P. Yim]] on &quot;'''Distributed Ontology Development with Prot&amp;eacute;g&amp;eacute;'''&quot; to Ontolog, at: ConferenceCall_2007_10_11 <br /> <br /> [[Category:Person]]<br /> <br /> <br /> <br /> </div>

imported>KennethBaclawski