Lectures

  • <LINK 5799>Functional programming</LINK> (winter term 2011/2012)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=21540&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Functional programming</LINK> (summer term 2009)

Exercise courses

  • <LINK 5799>Functional programming</LINK> (winter term 2011/2012)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=36431&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Compiling functional, logical, and object-oriented languages</LINK> (summer term 2011)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=23283&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Foundations of compiler construction</LINK> (winter term 2009/2010)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=21540&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Functional programming</LINK> (summer term 2009)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19182&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Foundations of compiler construction</LINK> (winter term 2008/2009)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=16654&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Compiling functional, logical, and object-oriented languages</LINK> (summer term 2008)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11967>Foundations of compiler construction</LINK> (winter term 2007/2008)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=10605>Compiling functional, logical, and object-oriented languages</LINK> (summer term 2007)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=8144>Foundations of compiler construction</LINK> (winter term 2006/2007)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=6862>Compiling functional, logical, and object-oriented languages</LINK> (summer term 2006)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/12164>Theoretical computer science 1</LINK> (winter term 2005/2006)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/12095>Foundations of compiler construction</LINK> (winter term 2005/2006)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/11367>Compiling functional, logical, and object-oriented languages</LINK> (summer term 2005)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/10608>Foundations of compiler construction</LINK> (winter term 2004/2005)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/8307>Foundations of compiler construction</LINK> (winter term 2003/2004)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/7100>Compiling functional, logical, and object-oriented languages</LINK> (summer term 2003)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/5462>Foundations of compiler construction</LINK> (winter term 2002/2003)

Seminars

  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=48956&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Algorithm Development in functional programming languages</LINK> (summer term 2012)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=23273&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Concepts of functional programming languages</LINK> (winter term 2009/2010)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19151&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Concepts of functional programming languages</LINK> (winter term 2008/2009)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=16602&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Algebraic structures in computer science</LINK> (summer term 2008)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11658>Concepts of functional programming languages</LINK> (winter term 2007/2008)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=11658>Algebraic structures in computer science</LINK> (summer term 2007)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=9757>Semantics of programming and specification languages</LINK> (winter term 2006/2007)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=9752>Models and formal methods for user interaction</LINK> (winter term 2006/2007)
  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=wsearchv&search=2&veranstaltung.veranstid=7673>Discrete structures for formal models</LINK> (summer term 2006)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/12099>Program analysis and optimisation</LINK> (winter term 2005/2006)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/10654>Rule-based systems</LINK> (winter term 2004/2005)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/9671>Compiling functional, logical, and object-oriented languages</LINK> (summer term 2004)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/8285>Logic for formal models</LINK> (winter term 2003/2004)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/7026>New concepts of user guidance and GUI-specification</LINK> (summer term 2003)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/5441>Program analysis and optimisation</LINK> (winter term 2002/2003)
  • Program transformation (winter term 2001/2002)

Proseminars

  • <LINK http://campusonline.uni-ulm.de/qislsf/rds?state=verpublish&status=init&vmfile=no&publishid=19681&moduleCall=webInfo&publishConfFile=webInfo&publishSubDir=veranstaltung>Mathematical and structural foundations of computer science</LINK> (winter term 2008/2009)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/11366>Mathematical and structural foundations of computer science</LINK> (summer term 2005)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/9672>Mathematical and structural foundations of computer science</LINK> (summer term 2004)
  • <LINK http://www.informatik.uni-ulm.de/epin/pw/7028>Functional programming</LINK> (summer term 2003)

Practical works

  • Michael Staud: <i>Implementation of a compiler from Prolog to C++</i> (August 2006)
  • Jürgen Werner: <i>Implementation of a library for graphs</i> (February 2003)

Diploma theses

  • Michael Stahl: <i>Porting the Ultra Program Transformation System from Gofer to Haskell</i> (September 2006)
  • Markus Diesterheft: <i>Modellierung und heuristische Verfahren zur optimierten Kommissionierung</i> (May 2006)
  • Klaus Göckelmann: <i>Entwurf und Entwicklung eines Compilers für die "Testing and Test Control Notation Version 3"</i> (November 2005)
  • Carola Langwald: <i>Beschreibung der Semantik von Aktivitätsdiagrammen der UML Version 2.0 durch Petri-Netze</i> (October 2005)
  • Ralf Gerlich: <i>Size-Optimising Automatic Random Testcase Set Generation for Verification and Validation</i> (July 2005)
  • Jürgen Werner: <i>Relational calculi for the semantics of programming languages and program development</i> (November 2004)