Christoph Kreitz (Potsdam Home Page)

Mitglied der
Baptistengemeinde Potsdam



Theoretische Informatik
Institut für Informatik
Universität Potsdam
14882 Potsdam, Germany

August-Bebel Str. 89  
Haus 4   Raum 1.18
++49 (331) 977 3060
++49 (331) 977 3042
Adjunct Professor

Department of Computer Science
Cornell University
Ithaca, NY 14853, USA

328 Gates Hall

++ 1 (607) 254 8948
++ 1 (607) 255 4428
CV Annual Report Talks All Papers

Teaching Research Topics

Theoretische Informatik

Program Synthesis + Verification

Personal Testimony


Automated Deduction

Bible Study Material


Theory of Computation

Sermons (in German)

All course notes

Lehren und Lernen (German)

CV Menu Cornell Annual Report List of all my talks List of all my publications My Testimony Sunday School notes Predigten Theoretische Informatik Inferenzmethoden Kryptographie All other courses Synthesis Deduction Theory of Computation Teaching and Learning
Pop up Link Menu Last modified: ... to long ago. The information is still correct, though.