Teaching Activities

Current/Upcoming Courses

• Project in Computer Science 2 with Amazon AWS (Spring 2023) at TU Wien

• Formal Methods in Computer Science - FMI (since 2018) at TU Wien.

  • FMI Block 3 - Lecture 1 recorded; 

  • FMI Block 3 - Lecture 2 recorded; 

  • FMI Block 3 - Lecture 3 recorded; 

  • FMI Block 3 - Lecture 4 recorded; 

  • FMI Block 3 - Lecture 5 recorded; 

• Automated Deduction (since 2016) at TU Wien.

  • ADuct 2022S - Lecture 1 recorded;

  • ADuct 2022S - Lecture 2 recorded;

  • ADuct 2022S - Lecture 3 recorded;

  • ADuct 2022S - Lecture 4 recorded;

  • ADuct 2022S - Lecture 5 recorded;

  • ADuct 2022S - Lecture 6 recorded;

  • ADuct 2022S - Lecture 8 recorded;

  • ADuct 2022S - Lecture 9 recorded;

  • ADuct 2022S - Lecture 10 recorded;

  • ADuct 2022S - Lecture 11 recorded;

  • ADuct 2022S - Lecture 12 recorded;

  • ADuct 2022S - Lecture 13 recorded;

  • ADuct 2022S - Lecture 14 recorded;

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.