Teaching

I have taught the following courses:

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

Students Projects

• University of Southern Denmark:
  • B.Sc. Thesis (two ongoing)
• University of Passau:
  • M.Sc. Thesis (three completed)
• University of Potsdam:
  • B.Sc. Thesis (two completed)