Difference between revisions of "The Maude Project and Team"
| Line 23: | Line 23: | ||
* [http://maude.sip.ucm.es/~clavel/ Manuel Clavel], Universidad Complutense de Madrid, Spain | * [http://maude.sip.ucm.es/~clavel/ Manuel Clavel], Universidad Complutense de Madrid, Spain | ||
* [http://www.lcc.uma.es/~duran Francisco Durán], Universidad de Málaga, Spain | * [http://www.lcc.uma.es/~duran Francisco Durán], Universidad de Málaga, Spain | ||
| − | * [http:// | + | * [http://personales.upv.es/sanesro Santiago Escobar], Universitat Politècnica de València, Spain |
* [http://csl.sri.com/people/eker Steven Eker], SRI International, California, USA | * [http://csl.sri.com/people/eker Steven Eker], SRI International, California, USA | ||
* [http://csl.sri.com/~lincoln/ Patrick Lincoln], SRI International, California, USA | * [http://csl.sri.com/~lincoln/ Patrick Lincoln], SRI International, California, USA | ||
Revision as of 14:14, 8 November 2019
The goals of the Maude project are supporting formal executable specification, declarative programming, and a wide range of formal methods as means to achieve high-quality systems in areas much as: software engineering, networks, distributed computing, bioinformatics, and formal tool development.
Research Interests
The members of the Maude team have research interests spanning a variety of different fields, although all of them related to the development and application of formal methods. In addition to the development of Maude itself, other areas in which the members of the group are working and applying Maude to include:
- General Logics and Logical Frameworks
- Specification Languages
- Declarative Programming Languages
- Semantics of Programming Languages and Models of Computation
- Concurrent and Distributed Systems
- Formal Tools and Formal Interoperability
- Reflection and Metaprogramming
- Object-Oriented Modeling and Programming
- Real-Time Systems
- Bio Informatics
- Mobile Languages
- Network Protocols and Active Networks
Members of the Maude Team
- Manuel Clavel, Universidad Complutense de Madrid, Spain
- Francisco Durán, Universidad de Málaga, Spain
- Santiago Escobar, Universitat Politècnica de València, Spain
- Steven Eker, SRI International, California, USA
- Patrick Lincoln, SRI International, California, USA
- Narciso Martí-Oliet, Universidad Complutense de Madrid, Spain
- José Meseguer, University of Illinois at Urbana-Champaign, Illinois, USA
- Carolyn L. Talcott, SRI International, California, USA
Collaborators
In addition to work on Maude's design and implementation, a number of researchers from different countries collaborate closely with the Maude team on theoretical foundations, different extensions of Maude, and on applications to various areas. Many of these researchers appear as coauthors of members of the group in many papers (see the recent rewriting logic bibliography).
