Antje Nowack's Homepage

Postal Address

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen
Germany

Office

Telefon:	+49-241-80-21715
Fax:	+49-241-80-22215

I am a member of the research group Mathematical Foundations of Computer Science headed by Prof. Dr. E. Grädel.

My research interests are theoretical aspects for Abstract State Machines, especially verification.

February 2004

Home