LARA

LARA is (co)responsible for the following courses:

• Fall 2020:
  • Computer Language Processing 2020
  • Formal Verification 2020
  • Functional Programming 2020
• Fall 2019:
  • Computer Language Processing 2019
  • Formal Verification 2019
  • Functional Programming 2019
• Spring 2019:
  • Parallelism and Concurrency 2019 (internal page on courseware.epfl.ch)
• Fall 2018:
  • Functional Programming 2018
  • Computer Language Processing 2018
• Spring 2018:
  • Parallelism and Concurrency 2018
• Fall 2017:
  • Computer Language Processing 2017
  • Functional Programming 2017
• Spring 2017:
  • Synthesis, Analysis, and Verification 2017
  • Parallelism and Concurrency 2017
• Fall 2016:
  • Computer Language Processing 2016
  • Functional Programming
• Spring 2016:
  • Parallelism and Concurrency 2016
• Fall 2015:
  • Computer Language Processing 2015
  • Functional Programming
• Spring 2015:
  • Synthesis, Analysis, and Verification 2015
  • Reactive and Parallel Programming
• Fall 2014:
  • Computer Language Processing 2014
  • Functional Programming
• 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