Teaching Activities

Current Courses

• Formal Methods in Systems Engineering - ForSyTe (since 2025) at TU Wien 

• Logic and Reasoning in Computer Science (since 2024) at TU Wien

• Trends in Cloud Computing - Project in Computer Science 2 with Amazon AWS (Spring 2024) at TU Wien>/p>

• Automated Deduction (since 2016) at TU Wien

Past Courses

• Polynomial Arithmetic - Decision Procedures and Applications (May 25-27, 2016 - Crash Course) at Chalmers and Gothenburg University.

• First-Order Theorem Proving and Vampire (Period 4, 2015/2016) at at Chalmers and Gothenburg University.

• The Computing Scientist in Society (Period 2, 2015/2016) at at Chalmers and Gothenburg University.

• Chalmers Computing Lab Tech Talks (Period 3, 2014/2015) at Chalmers and Gothenburg University.

• Automated Reasoning for Program Verification - ARV (Period 2, 2013/2014) at Chalmers and Gothenburg University.

• Automated Reasoning and Program Verification - ARV (Summer 2013, Summer 2012) at TU Wien.

• Advanced Topics in Theoretical Computer Science - ATCS (Fall 2012) at TU Wien.

• Advanced Theoretical Computer Science - ATCS (Fall 2011, Fall 2010) at TU Wien.

• Software Engineering Seminar (Fall 2009) at ETH Zurich.

• Foundations of Computer Science 1 (Fall 2009) at University of Zurich.

• Advanced Theoretical Computer Science (Spring 2009) at EPFL.

• Basic and Advanced Theoretical Computer Science (Spring 2008) at EPFL.

Contact: Laura Kovács.