SRI International, Computer Science Laboratory

Jose Meseguer

Position:
Principal Scientist
Address:
Computer Science Laboratory,EL274
SRI International
333 Ravenswood Ave
Menlo Park California 94025, USA

Email: meseguer@csl.sri.com

Fax: +1 (650) 859-2844
Tel: +1 (650) 859-3044

 
 
Research Interests

 
  • 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
     
     
    Project Participation

     
  • Artifactory Theory, a project that aims at providing semantic theories for artifacts (see Artifact Theory Group). In the context of the DARPA funded project DAML (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.

  • Coordinated Research in Adaptive Network-Centric Computing. A project funded by the Office of Naval Research aimed at 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 (for project-related publications see the Maude page)

  • Foundations of Interoperability via Architecture . A project funded by the National Science Foundation to study semantic foundations for interoperability at different levels of software description, including architectures, formal specifications, and distributed components (for project-related publications see the Maude page)

  • 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 (see Maude and ActiveNets). Various case studies of active network problems are documented on the Maude case studies web page.
     
     
    Publications

     
      For papers please see the Maude web page.


    Jose Meseguer: meseguer@csl.sri.com