Home page of Christoph Kreitz

Tabernacle Baptist Church


Adjunct Professor

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

328 Gates Hall

++ 1 (607) 254 8948
++ 1 (607) 255 4428

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
CV Annual Report Talks All Papers

Teaching Research Topics

CS 486: Applied Logic

Program Synthesis + Verification

Personal Testimony

CS 671: Automated Reasoning

Automated Deduction

Bible Study Material

Courses at U Potsdam

Theory of Computation

Sermons (in German)

All course notes

Lehren und Lernen (German)

This page is pretty outdated. The information above is still correct but hasn't been updated in quite a while. I'll fix it when I find the time.
CV Menu Cornell Annual Report List of all my talks List of all my publications My Testimony Sunday School notes Predigten CS 486 notes CS 671 notes Courses at Potsdam All other courses Synthesis Deduction Theory of Computation Teaching and Learning
Pop up Link Menu Last modified: ... too long ago.