Ü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

Prof. Dr. Thom Frühwirth Program ist Mitglied im Programmkommitee der Opens external link in new window17th International Symposium on Principles and Practice of Declarative Programming - PPDP 2015, Siena, Italien, 14-16. Juli 2015.
Prof. Dr. Thom Frühwirth ist Senior-Mitglied im Programmkommitee der Opens external link in new window24th International Joint Conference on Artificial Intelligence - IJCAI 2015, Buenos Aires, 25-31. Juli, 2015.
Prof. Dr. Thom Frühwirth ist Opens external link in new windowKeynote Speaker der Opens external link in new window9th International Web Rule Symposium - RuleML 2015, Berlin, 3-5. August, 2015.
Prof. Dr. Thom Frühwirth ist Mitglied im Programmkommitee der Opens external link in new window31st International Conference on Logic Programming - ICLP 2015, Cork, Irland, 31. August - 4. September, 2015.

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