$Id: josemeseguer-homepage.daml,v 1.5 2001/09/13 02:31:39 denker Exp waldinge $ DAML markup of Jose Meseguer's home page closed available at http://www.ai.sri.com/daml/annotations 2000-10-31 daml@ai.sri.com Jose Meseguer SRI International Computer Science Lab Principal Scientist Dr. SRI International Computer Science Lab Ravenswood Ave. 333 EL274 Menlo Park CA 94025 USA meseguer@@csl.sri.com +1-650-859-3044 +1859-2844 formal executable specification and verification software composition, reflection, and metaprogramming object-oriented specification and software architecture concurrent, distributed, and mobile computing logical frameworks and formal interoperability logical and semantic foundations of software 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/ Coordinated Research in Adaptive Network-Centric Computing A project developing new formal models and specification and analysis techniques for adaptive network systems and languages, including composable communication services, active network programming languages, and mobile languages http://maude.csl.sri.com/ Foundations of Interoperability via Architecture This project studies semantic foundations for interoperability at different levels of software description, including architectures, formal specifications, and distributed components. http://maude.csl.sri.com/ 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/