 |
|
At the universities and research institutions listed below research is done with respect to formal methods.
|
University
|
Location |
CWI (Centrum voor Wiskunde en Informatica)
| Amsterdam, The Netherlands
|
IPA (Instituut voor Programmatuurkunde en Algoritmiek)
The goal of the Institute for Programming research and Algorithmics (IPA) is to educate researchers in the field of programming research and algorithmics.
| Eindhoven, The Netherlands
|
Imperial College: Theory and Formal Methods
| London, UK
|
Manchester University: Formal Methods Group
| Manchester, UK
|
Politecnico di Milano, Departimento di Ellettronica e Informazione: The TRIO Group
| Milano, Italy
|
South Bank University: Centre for Applied Formal Methods
| London, UK
|
Technical University of Denmark
| Lyngby, Denmark
|
University of Cambridge: Automated Reasoning Group
| Cambridge, UK
|
University of Leicester: Software Specification and Design research group (SoftSD)
| Leicester, UK
|
University of Newcastle: Centre for Software Reliability
| Newcastle, UK
|
University of Twente: Formal Methods and Tools
| Enschede, The Netherlands
|
University of Twente: Systems Validation Centre
| Enschede, The Netherlands
|
Is your company not listed here? Please send the
appropriate information to webmaster@fmeurope.org.
|
