Difference between revisions of "The Maude Project and Team"

From The Maude System
Jump to: navigation, search
Line 29: Line 29:
 
* [http://www.mat.ucm.es/imi/People/Marti_Oliet_Narciso.htm Narciso Martí-Oliet], Universidad Complutense de Madrid, Spain
 
* [http://www.mat.ucm.es/imi/People/Marti_Oliet_Narciso.htm Narciso Martí-Oliet], Universidad Complutense de Madrid, Spain
 
* [http://formal.cs.uiuc.edu/meseguer/ José Meseguer], University of Illinois at Urbana-Champaign, Illinois, USA
 
* [http://formal.cs.uiuc.edu/meseguer/ José Meseguer], University of Illinois at Urbana-Champaign, Illinois, USA
* [https://olveczky.se/ Peter C. Ölveczky]
+
* [https://olveczky.se/ Peter C. Ölveczky], University of Oslo, Norway
 
* [https://www.ucm.es/dsic-1-1/directorio/?id=31227 Rubén Rubio], Universidad Complutense de Madrid, Spain
 
* [https://www.ucm.es/dsic-1-1/directorio/?id=31227 Rubén Rubio], Universidad Complutense de Madrid, Spain
 
* [http://csl.sri.com/people/talcott/ Carolyn L. Talcott], SRI International, California, USA
 
* [http://csl.sri.com/people/talcott/ Carolyn L. Talcott], SRI International, California, USA

Revision as of 14:41, 30 December 2020

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
  • Multi-level modelling

Members of the Maude Team

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).