Detlef Seese

Karlsruhe Institute of Technology (KIT), Germany

Detlef Seese was born in Halberstadt, Germany, in 1950. He received the Diploma in mathematics and the Ph.D. degree (Dr. rer. nat) from the Humboldt University of Berlin, Germany, in 1973 and 1976, respectively. From 1975 till 1984, he had a research position at the Central Institute for Mathematics and Mechanics of the Academy of Sciences in Berlin, where he received the Doctoral degree (Dr. sc. nat.) in 1980. From 1985 till 1991, he was appointed as Head of the Division of Discrete Mathematics, Algebra, Logic and Theoretical Computer Science at the Karl-Weierstrass Institute for Mathematics at the Academy of Sciences in Berlin. From 1990 till 1992, he got a replacement professorship in computer science at the University ofDuisburg. Since 1992, he has been a Professor of applied computer science at the Karlsruhe Institute of Technology (KIT, the former University Karlsruhe, Germany). Since 1999, he has been the Head of the group Complexity Management and Member of the Board of Directors of the Institute of Applied Informatics and Formal Description Methods (AIFB, since 1999). He has been a Member of the Board of Directors of the Institute for Applications of Informatics of the KIT (since 2000) and Founding Member of the Center for Risk Management and Disaster Reduction Technology (since 2002). His research interests cover theoretical computer science (parameterized and descriptive complexity), logic (model theory and algorithmic questions, second-order logic, generalized quantifiers, decidability, descriptive complexity), graph theory (algorithmic graph theory, graph minors, bounded tree width), computational finance (application of intelligent systems, decision support in risk management), and complexity management (structural and parametric approaches, software development, business process management). He is also a Member of the editorial board of the Journal of Universal Computer Science (J. UCS, since 1999).

Biography Updated on 5 March 2012

Scholarly Contributions [Data Provided by scopus]

download