Constraint Handling Rules
CHR - Compilation,
Execution, Analysis
CHR - Current Research
Essentials of
Constraint Programming
Constraint-
Programmierung
The Computer Art of
Mason's Mark Design
| 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 developer of the programming
language and formalism Constraint Handling Rules (CHR) and author of the eponymous book. He has (co-)authored five books on constraint programming and
reasoning, including a leading textbook.
He is also known for his work in type theory
and spatio-temporal reasoning.
He is among the top researchers in Computational Logic
and is the editor of 11 books in this area.
He has published over 200 research papers with over 5000 citations.
He has served on over 100 program committees
and given over 100 invited talks. He has been involved in
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 invitations to the Weizmann Institute of Science in Rehovot. From 1991 he was 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 after his habilitation and held visiting positions at the universities of Pisa, Monash Melbourne, PUC Rio de Janeiro, and the CWI research center in Amsterdam. In 2002 he was appointed professor at Ulm University, Germany, and entered into collaboration with the German University in Cairo. He served on the examination board for Computer Science for 17 years, the PhD committee for 15 years, on the examination board for Cognitive Systems, and on the habilitation committee. [Full CV up to 2005]. |
|
Constraint Handling Rules |
CHR - Compilation, Execution, Analysis |
CHR - Current Research |
Essentials of Constraint Programming |
Constraint- Programmierung |
The Computer Art of Mason's Mark Design |
