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.