Programming Languages Education

The PL group is involved in the following education:

  • Undergraduate courses in the TU Delft bachelor in computer science, covering such topics as model checking, concepts of programming languages, and various projects.

  • Advanced programming languages courses in the TU Delft master programs in computer science and embedded systems, covering such topics as compiler construction, program analysis, type systems, and software verification.

  • Nine-month projects with our MSc students who advance our knowledge in programming languages by participating in our research projects – sometimes in collaboration with our industrial partners.

The TU Delft Programming Languages group offers a variety of courses at the Bachelor and Master levels.

Bachelor Computer Science and Engineering

  • CSE1305: Algorithms and Data Structures. Benedikt Ahrens (from 2021/2022).
  • CSE2120: Concept of Programming Languages. Casper Bach Poulsen and Eelco Visser.
  • CSE3100: Functional Programming. Jesper Cockx.

Masters Computer Science and Embedded Systems

  • CS4130: Seminar Programming Languages. Soham Chakraborty, Benedikt Ahrens, Jesper Cockx, Casper Bach Poulsen, and Eelco Visser.
  • CS4135: Software Verification. Arjen Rouvoet.
  • CS4200-A and CS4200-B: Compiler Construction and Compiler Construction Project. Eelco Visser.
  • CS4275: Web Programming Languages. Danny Groenewegen.
  • CS4280: Language-Based Software Security. Jesper Cockx.
  • IN4333: Language Engineering Project. Eelco Visser.
  • IN4387: System Validation. Casper Bach Poulsen.
  • IN4306: Literature Survey. All PL faculty.
  • IN5000: MSc Thesis Final Project. All PL faculty.