Teaching

I have taught the following courses:

• University of Southern Denmark (Instructor)
  • Software Maintenance
  • Development of Software Systems (Project course)
• University of Passau, University of Potsdam (Graduate Teaching Assistant)
  • Program Repair
  • Reverse and Re-engineering
  • Programming in C++
  • Compiler Construction
  • Secure Information Flow
  • Static Program Analysis
  • Topics in Programming Languages and Security
  • Foundations of Computer Science (co-instructor)

Student Projects

• University of Southern Denmark:
  • Thesis (two ongoing)
• University of Passau:
  • Thesis (three completed)
• University of Potsdam:
  • Thesis (two completed)