Personal information
Verified email domains
uni-freiburg.de
uni-stuttgart.de
software verification, automata theory, satisfiability modulo theories
Germany
Activities
Employment (1)
2024-04-01
to
present
|
Substitute Professor
(Institut of Software Engineering)
Employment
Source:
Matthias Heizmann