Priv.-Doz. (TU München), Dr. rer. nat. habil.

Bertram Fronhöfer



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 at the 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 <>