Ongoing Research Projects

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

• WWTF ICT25 project ProMT - "Probably the best Moment to Terminate"
• ERC Proof of Concept Grant 2024 - "LEARN: Learning Efficient Automated Reasoning on the Net" 
• FWF Emerging Field UnAxiMa - Uncovering the Axioms of Mathematics
• FWF Doctoral College on Automated Reasoning
• FWF Special Research Program "SpyCoDe: Semantic and Cryptographic Foundations of Security and Privacy by Compositional Design"
• WWTF ICT22 project "ForSmart: Effective Formal Methods for Smart-Contract Certification"

Contact: Laura Kovács.