Home page of Christoph Kreitz

Tabernacle Baptist Church
Tabernacle Baptist Church	Office: Phone: Fax: Email:	Adjunct Professor Department of Computer Science Cornell University Ithaca, NY 14853, USA 328 Gates Hall ++ 1 (607) 254 8948 ++ 1 (607) 255 4428	Professor 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.