Seese Detlef

Referee for:	F.2, F.4, G.2, I.2.6
Institution:	University of Karlsruhe
Address:	Institute for Applied Computer Science and Formal Description Methods (AIFB) Universität Karlsruhe (TH) 76128 Karlsruhe Germany

Curriculum Vitae:

Education
- Diploma in Mathematics, 1973, Humboldt-University
- Dr. rer. nat., 1976, Humboldt-University, Berlin
- Dr. sc. nat., 1980, Academy of Sciences, Berlin
- professor of applied computer science, 1992, University Karlsruhe (TH)
Professional Experience

1975 - 1984 scientist at the Central Institute for Mathematics and Mechanics (later Institute for Mathematics) of the Academy of Sciences of GDR
1985 - 1991 Head of the Division of Discrete Mathematics, Algebra, Logic and Theoretical Computer Science at the Karl-Weierstrass-Institute for Mathematics (formerly Institute for Mathematics of the Academy of Sciences of GDR) in Berlin
November 1990 - March 1991: Replacement of a C3-Professorship in Computer Science at the University of March 31st, 1991 Duisburg
April 1991 - September 1991: Replacement of a C4-Professorship in Computer Science at the University of Duisburg
October 1991 - September 1992: Replacement of a C4-Professorship in Applied Computer Science at University of Duisburg
since October 1st, 1992 Professorship in Applied Computer Science at the University of Karlsruhe

Main Research Interests:

Computer Science: complexity, efficient algorithms, connections between the complexity of algorithmic problems and the structure of the regarded class of objects
Decision support by business intelligence in the area of finance: genetic algorithms and fuzzy logic as tools to support trading strategies at the stock market
Logic: model theory and algorithmic questions, second order logic, generalized quantifiers, decidability, descriptive complexity
Graph Theory: algorithmic graph theory, graph minors, bounded tree width