Mitglied der Baptistengemeinde Potsdam |
|
||||
|
|
|
|
||
| CV | Annual Report | Talks | All Papers |
|
|
Teaching | Research Topics |
|
Theoretische Informatik |
Program Synthesis + Verification |
|
|
Personal Testimony |
Inferenzmethoden |
Automated Deduction |
|
Bible Study Material |
Kryptographie |
Theory of Computation |
|
Sermons (in German) |
All course notes |
Lehren und Lernen (German) |
|
| ||||
|
|
Last modified: ... to long ago. The information is still correct, though. | |||