University of Miami, Department of Computer Science

Stephan Schulz, Dr. rer.nat., Dipl. Inform.

Room:           UNGAR 403
Telephone:      +1 305 284 4189
FAX:            +1 305 284 2264 (Department)
GPG public key: Click here
Snail:	        Department of Computer Science
                University of Miami
                P.O. Box 248154
		Coral Gables, FL 33124, USA
     So-so picture of Stephan Schulz

I am visiting the University of Miami in Fall 2002, and teach two courses in the department of computer science. You will find more about these courses below.

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.

Blue Ribbon    "The problem is not that the world is full of fools. The problem is that lightning isn't being distributed right."     

-Mark Twain

Stephan Schulz,, Thu Aug 22 13:35:31 EDT 2002