This is an old revision of the document!
Teaching
LARA is (co)responsible for the following courses:
- Spring 2017:
- Fall 2016:
- Spring 2016:
- Fall 2015:
- Spring 2015:
- Fall 2014:
- Fall 2013: Compiler Construction 2013
- Spring 2013: Synthesis, Analysis, and Verification
- Fall 2012: Compiler Construction
- Spring 2012: Synthesis, Analysis, and Verification
- Fall 2011: Compiler Construction
- Spring 2011: Synthesis, Analysis, and Verification
- Fall 2010: Seminar on Automated Reasoning
- Fall 2010: Compiler Construction
- Spring 2010: Synthesis, Analysis, and Verification
- Fall 2009: Compiler Construction
- Fall 2009: Logic and Automata Theory
- Spring 2009: Software Analysis and Verification
- Fall 2008: Compiler Construction
- Spring 2008: Software Analysis and Verification
- Spring 2007: Software Analysis and Verification