Stephan Schulz, Dr. rer.nat., Dipl. Inform.
Room: UNGAR 403 Telephone: +1 305 284 4189 FAX: +1 305 284 2264 (Department) Email: email@example.com GPG public key: Click here Snail: Department of Computer Science University of Miami P.O. Box 248154 Coral Gables, FL 33124, USA
Normally I am working as a senior researcher in the Automated Reasoning Group of the Technische Universität München. You can look at my home page there to learn more about me (The server is fixed now, and most of my pages there should be ok). Also check my picture page to see me do things much different from research or teaching.
"The problem is not that the world is full of fools. The
problem is that lightning isn't being distributed