Überblick

Zentrales Forschungsthema sind verschiedene Aspekte der Softwaretechnik und des Compilerbaus, insbesondere Requirements-Engineering-Methoden, -Formalismen und -Tools, Constraint-Programmierung, Model Driven Development, experimentelles Software-Engineering, formale Methoden in der Softwareentwicklung, sowie die Entwicklung innovativer Softwarewerkzeuge.

Aktuelles

Die Ringvorlesung Software Engineering in der Praxis findet erst wieder im Wintersemester 2013/14 statt. Die Termine werden zum Ende des Sommersemesters bekanntgegeben.
Prof. Dr. Thom Frühwirth Program committee member of 22nd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2013), Kiel, Germany, September 11-13, 2013.
Prof. Dr. Thom Frühwirth Co-Organizer and Lecturer of 3rd CHR Summer School: programming and reasoning with rules and constraints, Berlin, Germany, July 8-13, 2013.
Prof. Dr. Thom Frühwirth Co-Organizer and Program committee member of 10th International Workshop on Constraint Handling Rules (CHR 2013), Berlin, Germany, July 8-13, 2013.
Video: Vortrag Prof. Dr. Thom Frühwirth Computer knacken harte Nüsse: Von Sudoku über den Aktienhandel zum Robotersegeln, also at iTunes U, UUG-Vortragsreihe, February 2013, Ulm.
Prof. Dr. Thom Frühwirth ist Mitglied des Programmkommitees der Opens external link in new window29th International Conference on Logic Programming (ICLP 2013), Istanbul, Turkey, August 24-28, 2013.

Kontakt

  • Institut für Programmiermethodik und Compilerbau
  • Universität Ulm
  • D-89069 Ulm
  • Telefon: +49 (0)731/50-24161
  • Telefax: +49 (0)731/50-24162
  • Raum: o27-419