Gert Smolka: Curriculum Vitae

Gert Smolka: Curriculum Vitae

Saarland University Computer Science
Prof. Dr. rer. nat. Gert Smolka
 
05.01.1955 Born in Mannheim, Germany
 
Education
 
1989 Dr.rer.nat., Informatik, Universität Kaiserslautern.
Thesis title: Logic Programming over Polymorphically Order-sorted Types.
1982 Diplom Informatiker, Universität Karlsruhe.
Thesis title: Einige Ergebnisse zur Vollständigkeit der Beweisprozedur von Kowalski.
 
Employment  
 
1990-present Professor of Computer Science, Universität des Saarlandes.
1990-1998 Head of Programming Systems Lab, German Research Center for Artificial Intelligence (DFKI), Saarbrücken.
1988-1990 Post Doc Fellow, IBM Deutschland, Stuttgart.
1986-1987 Research Associate, Universität Kaiserslautern.
1984-1986 Teaching Assistant, Cornell University.
1983-1984 DAAD Fellowship, Cornell University.
1982-1983 Research Associate, Universität Karlsruhe.
1978-1981 Research and teaching assistantships, Universität Karlsruhe.

Selected Recent Publications


Gert Smolka, Wed Aug 26 15:46:01 2009