Ongoing Research Projects

My research group is currently supported by the following research grants:

• Let's Empower Austria - LEA grant on "Abenteuer Informatik"
• Amazon Research Award "QuAT: Quantifiers and Theories are Friends with Benefits"
• FWF Special Research Program "SpyCoDe: Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design"
• MSCA COFUND Doctoral Programme LogiCS@TUWien
• ERC Consolidator Grant 2020 - "ARTIST: Automated Reasoning with Theories and Induction for Software Technologies" 
• TU Wien SecInt Doctoral College  - "SecInt: Secure and Intelligent Human-Centric Digital Technologies"

Contact: Laura Kovács.