Thomas Meyer

Research interests:

Program development by transformation

Monadic structures

Formal specification techniques - Attributations

Higher Order Logic

This is the way to my office:

My office is in MZH building, room 8200

 
E-mail:  tm@Informatik.Uni-Bremen.DE
Address: Thomas Meyer
         University of Bremen - FB 3
         P.O. Box 330 440
         D-28334 Bremen
	 Tel.: +49 421 218-4228
         Germany

---

Thomas Meyer, last update 22-Feb-95