2017-2018

  • Language-Based Software Security (Sebastian Erdweg)
  • Seminar Programming Languages (Eelco Visser & Sebastian Erdweg & Robbert Krebbers)
  • Compiler Construction (Eelco Visser)
  • Concepts of Programming Languages (Eelco Visser)
  • Algorithms and Data structures (Robbert Krebbers)
  • Software Verification (Robbert Krebbers)

2016-2017

  • Language-Based Software Security (Sebastian Erdweg)
  • Seminar Programming Languages (Eelco Visser & Sebastian Erdweg)
  • Compiler Construction (Eelco Visser)
  • Concepts of Programming Languages (Eelco Visser)
  • Algorithms and Data structures (Robbert Krebbers)
Created January 10, 2017 | Last modified May 11, 2017 | Contributions by Eelco Visser, Robbert Krebbers