| Institute of Software Engineering and Programming Languages
Faculty of Engineering, Computer Science and Psychology
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
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 2008. 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,
Kowalski: Logic for
Problem Solving, Revisited
Tsang: Foundations of
Betz: A Unified Analytical
Foundation for CHR
- Digital Artificial Intelligence Abstract Art
is now a contribution to the German Science Year 2019 on Artificial Intelligence of the Federal Ministry of Education and Research, April 2019.
(University Press Release in German)
- Program committee member of the 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019), Bolzano, Italy, September 2019.
- Program committee member of the 22nd International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2019), Cottbus, Germany, September 2019.
- Current Research Topics and Theses, January 2019.
- Latest book: The Computer Art of Mason's Mark Design, 2018.
Computer knacken harte Nüsse - Von Sudoku über den Aktienhandel zum Robotersegeln, Video of talk on CHR applications (in German with English slides), also at iTunes U and TIB, Thom Frühwirth. Analyse&Predict: Simple Online Instant Data Mining Analysis Tool to explore csv spreadsheets
- VdGG: Graphical Mason's Mark Generator
- Multi-Purpose Online CHR Rule Translator
- Online Tool that inverts CHR rules for backwards reversible execution
- WebCHR: Classical Online Interactive Constraint Handling Rules Prolog Programming Demo Tool
- Constraint Handling Rules (CHR) bibliography and blog
|Currently teaching this semester|