The Computer Art of
Mason's Mark Design
Constraint Handling Rules
CHR - Compilation,
Execution, Analysis
Essentials of
Constraint Programming
Constraint-
Programmierung
| Institute of Software Engineering and Programming Languages Faculty of Engineering, Computer Science and Psychology Ulm University 89069 Ulm, Germany
|
Computational logic, Rule-based programming, Constraint logic programming, Program analysis, Constraint reasoning.
| Thom Frühwirth is the designer of the programming
language and formalism Constraint Handling Rules (CHR) and author of the book
by the same name. He has co-authored two leading textbooks
on constraint programming and
reasoning that became standard references for the research area.
He is also known for his work in type theory
and spatio-temporal reasoning.
He is among the top researchers in Computational Logic.
He is the editor of several books in this area.
He has published more than 200 research papers with more than 4000 citations.
To date, he has served on more than 100 program committees.
He has given more than 100 invited talks. He has been involved in more
than 15 publicly funded research
projects.
Thom Frühwirth teaches and publishes since 1984. He obtained his Ph.D. in Computer Science at the Technical University of Vienna in 1990, after visiting the State University of New York at Stony Brook with a one-year Fulbright grant and after an invitation to the Weizmann Institute of Science. Then he was a researcher at the European Computer Industry Research Centre in Munich. In 1996, he joined the Ludwig Maximilians University in Munich. There he became assistant professor in 1998 and subsequently held visiting positions at the universities of Pisa, Monash Melbourne, PUC Rio de Janeiro, and at the CWI research center in Amsterdam. In 2002 he became a professor at Ulm University, Germany. Since then he works together with members of the German University in Cairo. He is a member of the examination board and of the PhD committee for Computer Science since 2005. He also served on the examination board for Cognitive Systems. [Full CV, as of 2005]. |
|
The Computer Art of Mason's Mark Design |
Constraint Handling Rules |
CHR - Compilation, Execution, Analysis |
Essentials of Constraint Programming |
Constraint- Programmierung |
Kowalski: Logic for Problem Solving, Revisited |
Tsang: Foundations of Constraint Satisfaction |
Betz: A Unified Analytical Foundation for CHR |
SWI Prolog Reference Manual |
SICStus Prolog User's Manual |
|
Currently teaching this semester
Topics for projects, Bachelor, Master and PhD theses
Recent Teaching in campusonline
|