Lectures

  • Soft Control Methods (TU KL, EIT, SS 2011, Co-Lecturer)
  • Soft Control Methods (TU KL, EIT, SS 2010, Co-Lecturer)
  • Formal Specification and Verification Techniques (TU KL, CS, WS 2008/2009, Co-Lecturer)
  • Requirements Engineering, (TU KL, CS, WS 2008/2009, Co-Lecturer)
  • Foundations of Programming (TU KL, CS, SS 2005, Supervisor, Co-Lecturer)
  • Formal Specification and Verification Techniques (TU KL, CS, SS 2004, Supervisor, Co-Lecturer)
  • Foundations of Programming (TU KL, CS, SS 2002, Supervisor, Co-Lecturer)
  • Computer Algebra (TU KL, CS, WS 2001/2002, Supervisor)
  • Special Topics in Formal Specification and Verification Techniques (TU KL, C, SS 2001, Supervisor, Lecturer)
  • Formal Specification and Verification Techniques (TU KL, CS, WS 2000/2001, Supervisor, Co-Lecturer)
  • Design and Analysis of Algorithms (TU KL, CS, WS 1999/2000, Supervisor)
  • Foundations of Programming (TU KL, CS, SS 1999, Supervisor)
  • Equational Programming (TU KL, CS, WS 1997/1998, Supervisor)