Institute of Software Engineering and Programming Languages
Menu
Institute of Software Engineering and Programming Languages
Institute
Institute
Homepage
News
Vacancies
Contact
Teaching
Teaching
Overview
Topics for Theses and Projects
Supervised final theses
Research
Research
Overview
Projects
Projects
Constraint Handling Rules
Constraint Handling Rules
Projects
People
Publications
More information
ConMEq
CoreASM
Ensure
Flux
GENIAL
Inline
MICE
Planspiel Softwareprojektmanagement
Planspiel Softwareprojektmanagement
Brettspiel
SORRIR
Quadcopter Lab
VariantSync
Publications
Team
Team
Overview
Prof. Dr. Matthias Tichy
Prof. Dr. Thom Frühwirth
Prof. Dr. Thomas Thüm
Carolin Göhring
Kathrin Deißler
Alexander Hinz
Paul Maximilian Bittner
Alexander Breckel
Florian Ege
Raffaela Groner
Tobias Heß
Dr. Katharina Juhnke
Jakob Pietron
Dr. Alexander Raschke
Sascha Rechenberger
Michael Stegmaier
Chico Sundermann
Thomas Witte
External Ph.D. Students
Supervised dissertations
Former Employees and Doctorands
Former Employees and Doctorands
Jeffrey Young
Dr. Walter Guttmann
Dr. Walter Guttmann
Algebra of Computing
Publications
Teaching
Jens Kohlmeyer
Prof. Dr. Helmuth Partsch
Prof. Dr. Helmuth Partsch
Academic CV
Supervised dissertations
Publications
Tobias Weck
Daniel Gall
Daniel Gall
WFLP 2018: Online Appendix
DE