Classes Taught

WS 2005-2006

• Einführung in die Kryptographie, Computer Science Class, Master Programm, University of Berne, Switzerland.
  
  

SS 2005

• Theorie und Andendungen von Unsicherheitskalkülen, Seminar for Master and P.h.D. Students, University of Berne, Switzerland.
  
  

SS 2004

• Formale Methoden des Schliessens unter Unsicherheit, Seminar, Bachelor and Master Programm, University of Konstanz, Germany.
  
  

WS 2003-2004

• Einführung in die künstliche Intelligenz, Computer Science Class, Bachelor and Master Programm, University of Konstanz, Germany.
  
  

WS 2002-2003

• Kryptographie, Computer Science Class, Bachelor and Master Programm, University of Konstanz, Germany.
  
  

WS 2000-2001

• Grundlagen: Information, Codierung und Kryptologie, Class for postgraduate students in computer science, University of Fribourg, Switzerland.
  
  

SS 2000

• Mathematik II: Einführung in die Entscheidungstheorie, Class for 2nd year business students, University of Fribourg, Switzerland.
  
  

WS 1999-2000

• Grundlagen: Information, Codierung und Kryptologie, Class for postgraduate students in computer science, University of Fribourg, Switzerland.
  
  

1997-1998

• Formale Methoden des Reasonings: Theorie und Algorithmik der Ungewissheitskalkülee, Exercise class for 3rd and 4th year students in computer science, University of Fribourg, Switzerland (regular class taught by Prof. J. Kohlas).
  
  

1996-1997

• Mathematische Theorie der Informationssysteme, Exercise class for 3rd and 4th year students in computer science, University of Fribourg, Switzerland (regular class taught by Prof. J. Kohlas).
  
  

1992-1996

• Informatik 1a: Einführung in die funktionale Programmierung mit Scheme, Exercise classes for 1st year students in computer science, University of Fribourg, Switzerland (regular class taught by Prof. J. Kohlas).