Member of Tabernacle Baptist Church Ithaca, NY 14850 |
|
|||
|
|
|
|
|
| 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) |
|
| ||||
|
|
Last modified: August 16, 2007 | |||