Teaching

I have taught the following courses:

• Southern Denmark University (Instructor)
  • Development of Software Systems (a.k.a. Software Engineering Project, B.Sc.)
• 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.)

Service