Immanuel Normann
Ph.D. Student of Computer Science
Jacobs University Bremen
Mailing address
School of Engineering &Science
Jacobs University Bremen,
Campus Ring 1
D-28759 Bremen, Germany
Office
Room 96, Research 1
tel.: +49 421 200 3050
fax: +49 421 200 493103
i dot normann at jacobs-university dot de
As of Januar 1 2004 I am a Ph. D. student in the computer science program of
the School of Engineering &Science
at the Jacobs University Bremen.
My supervisor is Prof. Michael Kohlhase,
and his research group is KWARC
(Knowledge Adaptation and Reasoning for Content).
Current Research
Theory management services for formalized mathematical libraries:- Search engine for theory inclusions
- automated theory factorization