Logic and Discrete Systems

Prof. Dr. Stephan Kreutzer

Logic and Discrete Systems

Logic in Computer Science Group

Professor Dr. Stephan Kreutzer

Juniorprofessor at the
Institute for Computer Science
Humboldt-University, Berlin

I have moved to the Oxford University Computing Laboratory.

Please visit my my new homepage.