Teaching Activities

Current/Upcoming Courses

• Automated Deduction (Fall 2016/2017) 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.