M.Sc. Stefan Kögel

Interests

• Functional programming (Haskell, Lisp, ...)
• Graph matching
• Modelling
• DSLs, programming language design, and compilers
• Algorithms and their implementation (ACM contests, SPOJ, ...)

Just talk to me (or write an email) if you want to do a thesis or project about one of these topics.

Projects

• ENSURE, part of the DFG Priority Programme 1593
• A visual interpreter for a Haskell-like language for teaching purposes: ClickyEvaluation.
• Distributing students into groups according to their preferences. Available in Rubikon and as a Moodle Plugin. (The Moodle plugin is now further developed and maintained by the University of Münster (Germany))

Teaching

• Exercises for Requirements Engineering (SoSe 2015)
• Proseminar Proseminar Sofwaretechnik (WS 2015/2016)
• Seminar Außergewöhnliche Features in ungewöhnlichen Programmiersprachen (WS 2015/2016)
• Masters Project Adding ADTs, List Comprehension and do-Notation to ClickyEvaluation (SoSe 2016)

Supervised theses

• Adding type checking and do notation to ClickyEvaluation

Kontakt

• Institut für Softwaretechnik und Programmiersprachen
• Universität Ulm
• D-89069 Ulm
•  
• Raum: o27-417
• Telefon: +49 (0)731/50-24174
• Telefax: +49 (0)731/50-24162
• E-Mail: stefan.koegel (at) uni-ulm.de