Collaboration

Our group cooperates with many other teams within the Czech republic as well as abroad. For example, we currently cooperate quite actively with:

• Department of Information Technology, Uppsala University, Sweden,
• Parosh Aziz Abdulla, Mohamed Faouzi Atig: String constraint solving
• Microsoft Research Redmond, Redmond, USA,
• Margus Veaness: Regular pattern matching,
• IIS, Academia Sinica, Taipei, Tchaj-wan,
• Yu-Fang Chen: String constraint solving, verification of quantum circuits,
• Department of Electrical Engineering, NTU Taipei, Taipei, Tchaj-wan,
• Finite automata, decision procedures for logics,
• FORSYTE, Faculty of Informatics, TU Vienna, Vienna, Austria,
• Laura Kovács: String constraint solving,
• Department of Computer Science, Aalborg University, Aalborg, Denmark,
• Max Tschaikowski, Kim Larsen, Christian Schilling: Analysis of quantum circuits,
• The Technical Faculty of IT and Design, Aalborg University, Aalborg, Denmark,
• Henning Sten Hansen, Poulsen: Application of string constraint solving to analysis of security of web applications,
• Faculty of Informatics, Masaryk University, Brno, Czech Republic,
• Red Hat Lab, Research Lab of Red Hat Czech at FIT BUT, Brno, Czech Republic,
• Honeywell Aerospace and International, Brno, Czech Republic.
• Jan Fiedor: Verification of Simulink models
• Department of Computer Science, TU München, München, Germany,
• Javier Esparza: Regular model checking,
• RWTH Aachen University, Aachen, Germany,
• Joost-Pieter Katoen: Finite automata in probabilistic synthesis,
• University Paris Cité, Paris, France,
• Peter Habermehl: Automata methods for deciding qunatified arithemtics,
• Institute of Software, Chinese Academy of Sciences, Beijing, China,
• Andrea Turrini: Automata complementation over infinite words, string constraint solving