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"

Contact: Laura Kovács.