SPOLUPRÁCE
Naše skupina spolupracuje s řadou jiných týmů v ČR i v zahraničí, zvláště aktivní je momentálně naše spolupráce s:
- Department of Information Technology, Uppsala University, Švédsko,
- Microsoft Research Redmond, USA,
- IIS, Academia Sinica, Tchaj-wan,
- Department of Computer Science, Oxford University, Velká Británie,
- Software Modeling and Verification Group, RWTH Aachen, Německo,
- Institute of Theoretical Computer Science, TU Braunschweig, Německo,
- VERIMAG, University Grenoble Alpes/CNRS, Grenoble, Francie,
- FORSYTE, Faculty of Informatics, TU Vienna, Vídeň, Rakousko,
- Chair for Foundations of Software Reliability and Theoretical Computer Science, TU Munich, Německo,
- Automatic Reasoning, Faculty of Informatics, TU Keiserslautern, Německo,
- IRIF, University Paris Diderot/CNRS, Paříž, Francie,
- School of Informatics, University of Edinburgh, Velká Británie,
- D3S, MFF UK, Praha,
- Fakulta informatiky, Masarykova universita, Brno,
- Red Hat Lab, laboratoř firmy Red Hat Czech na FIT VUT,
- Honeywell Aerospace a International, Brno,
- DiffBlue, Oxford, Velká Británie,
- Konsorcium evropského H2020 ECSEL projektu Arrowhead Tools,
- Konsorcium evropského H2020 ECSEL projektu Aquas.

