$Id: gritdenker-homepage.daml,v 1.5 2001/09/13 02:34:48 denker Exp denker $ DAML markup of Grit Denker's home page closed available at http://www.ai.sri.com/daml/annotations 2000-10-31 daml@ai.sri.com Grit Denker SRI International Computer Science Lab Computer Scientist Dr. SRI International Computer Science Lab Ravenswood Ave. 333 EL284 Menlo Park CA 94025 USA denker@csl.sri.com +1-650-859-6058 +1859-2844 specification and verification of communication and security issues of distributed systems semantic models (distributed) temporal logic and rewriting logic application of formal methods object-orientation specification of distributed (information) systems refinement Artifactory Theory A project aims at providing semantic theories for artifacts http://www.ai.sri.com/artifactory/ DARPA Agent Markup Language An Agent Mark-up language is built that allows users to provide machine-readable semantic annotations for specific communities of interest. We intend to generate core theories and knowledge creation tools for DAML. http://www.ai.sri.com/daml/ TIPE A project which is concerned with the specification and verification of cryptographic protocols http://www.csl.sri.com/~millen/capsl/ Scalable Certification Revocation This project aims at describing and enhancing the state of the art of public key infrastructures, with special emphasis on scalability for internet applications. MAUDE: A Wide-Spectrum Formal Language for Secure Active Networks A project in the area of specification of Active Networks using Maude and Rewriting Logic. Various case studies of active network problems are documented on the Maude case studies web page. http://maude.csl.sri.com