Disciplines
Computer Sciences (100%)
Keywords
-
Formal Methods,
Automated Reasoning,
Security And Privacy
Consortium
-
consortium member
-
consortium member
-
consortium member
-
consortium member
-
consortium member
-
consortium member
-
consortium member
Research institution(s)
- Technische Universität Wien
Project participants
- Adrian Rebola-Pardo, Technische Universität Wien , national collaboration partner
- Michele Chiari, Technische Universität Wien , national collaboration partner
- Michael Rawson, Technische Universität Wien , national collaboration partner
- Daniela Kaufmann, Technische Universität Wien , national collaboration partner
International project participants
- Joost-Pieter Katoen, RWTH Aachen - Germany
- Armin Biere, Albert-Ludwigs-Universität Freiburg - Germany
- Byron Cook, Amazon Web Services - USA
- Valentin Wüstholz, ConsenSys - USA
- Borzoo Bonakdarpour, Michigan State University - USA
- Nikolaj Bjorner, Microsoft Research - USA
- Andrei Voronkov, University of Manchester - United Kingdom
- Daniel Kröning, University of Oxford - United Kingdom
- Stefan Kiefer, University of Oxford - United Kingdom