Ongoing Research Projects
My research group is currently supported by the following research grants:
ERC Consolidator Grant 2020
- "ARTIST: Automated Reasoning with Theories and Induction for Software Technologies"
TU Wien SecInt Doctoral College 2020
- "SecInt: Secure and Intelligent Human-Centric Digital Technologies"
ERC Starting Grant 2014
- "SYMCAR: Symbolic Computation and Automated Reasoning for Program Analysis"
FWF Doctoral College LogiCS
- "Logical Methods in Computer Science"
WWTF ICT Grant 2020
- "ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs"