List of Group Members
Proposing Institutions
At present the following institutions, that are members of the national organisations taking part in ERCIM, support the MLQA working group (in alphabetical order and just one contact person per site):
- CNR (Italy) / Diego Latella
- CWI (Holland) / Jan Rutten
- INRIA (France) / Catuscia Palamidessi
- Oxford University (England) / Marta Kwiatkowska
- RWTH Aachen University (Germany) / Joost-Pieter Katoen
- Technical University of Berlin (Germany) / Uwe Nestmann
- Technical University of Denmark / Flemming Nielson
- Trinity College (Ireland) / Matthew Hennessy
- Universita’ di Firenze (Italy) / Rocco De Nicola
- University of Trento (Italy) / Paola Quaglia
- University of Edinburgh (Scotland) / Stephen Gilmore
- Universität des Saarlandes (Germany) / Holger Hermanns
- University of Aalborg (Denmark) / Kim Guldstrand Larsen