Collaborations
Research Groups
Companies and Organizations
Research Groups with whom we collaborate
- Programming Principles, Logic and Verification Group, University College London (Alexandra Silva)
- Machine Learning Group of Catholic University Leuven (Luc De Raedt, Jesse Davis, Wannes Meertens)
- Enterprise Engineering Team at TUDOR (led by Erik Proper, who is also adjunct professor within the department)
- IRISA Rennes, France, Vertecs research group (Thierry Jéron, Vlad Rusu)
- Software Modeling and Verification, RWTH Aachen (Joost-Pieter Katoen, Ivan Zapreev)
- Dependable Systems and Software Group, Saarland University (Lijun Zhang, Holger Hermanns)
- Paderborn University, Germany (Friedrich Eisenbrand)
- Twente University, Formal Methods and Tools Group (Marielle Stoelinga, Tim Kemna), Distributed and Embedded Systems Group
- Knowledge Representation and Reasoning Group, Free University Amsterdam (Frank van Harmelen)
- Eindhoven University, Formal Methods Group (Tim Willemse)
- Fraunhofer Institut fuer Software- und ISST Systemtechnik, Project Group Information Engineering; Joint Research of Jönköping University (Sweden) and Fraunhofer ISST
Companies and organizations with whom we collaborate
up