I studied Mathematics at the LMU München (1973-1982) and received my Diploma in 1982.
From January 1979 to October 1982 I was a part-time
employee of SIEMENS AG, Munich,
where I worked on natural language processing.
I was leader of the
Automated Reasoning Research Group
Technische Universität München
-- with several leaves -- from October 1990 till March 2000 (member of the group since November 1982).
Since November 2001 I worked at TU Dresden as coordinator of the
International Center for Computational Logic.
Since June 2014 I am exempted from work due to pre-retirement regulations (Freistellungsphase der Altersteilzeit).
I obtained a doctoral degree in Computer Science from the
Institut National Polytechnique de Grenoble in 1989
and my `Habilitation' from the Technische Universität München in February 1995.
I'm co-founder of the company
PIT-Systems OHG (which existed from 2001 till 2005)
which provided solutions for decision making under uncertain and incomplete knowledge.
My research interests focus on logical and probabilistic methods of reasoning.
|Maintained by Bertram Fronhöfer <>|