Wissenschaftsdisziplinen
Informatik (100%)
Keywords
-
Formal Methods,
Automated Reasoning,
Security And Privacy
Konsortium
-
Konsortiumsmitglied
-
Konsortiumsmitglied
-
Konsortiumsmitglied
-
Konsortiumsmitglied
-
Konsortiumsmitglied
-
Konsortiumsmitglied
-
Konsortiumsmitglied
Forschungsstätte(n)
- Technische Universität Wien
Nationale Projektbeteiligte
- Adrian Rebola-Pardo, Technische Universität Wien , nationale:r Kooperationspartner:in
- Daniela Kaufmann, Technische Universität Wien , nationale:r Kooperationspartner:in
- Michael Rawson, Technische Universität Wien , nationale:r Kooperationspartner:in
- Michele Chiari, Technische Universität Wien , nationale:r Kooperationspartner:in
Internationale Projektbeteiligte
- Armin Biere, Albert-Ludwigs-Universität Freiburg - Deutschland
- Joost-Pieter Katoen, RWTH Aachen - Deutschland
- Andrei Voronkov, University of Manchester - Großbritannien
- Daniel Kröning, University of Oxford - Großbritannien
- Stefan Kiefer, University of Oxford - Großbritannien
- Byron Cook, Amazon Web Services - Vereinigte Staaten von Amerika
- Valentin Wüstholz, ConsenSys - Vereinigte Staaten von Amerika
- Borzoo Bonakdarpour, Michigan State University - Vereinigte Staaten von Amerika
- Nikolaj Bjorner, Microsoft Research - Vereinigte Staaten von Amerika