inormann.md

layout: person

title: Immanuel Normann
fullname: Dr. Immanuel Normann
pic: public/images/inormann.jpg

role: phd-student
start_date: 2004-01
end_date: 2008-12

affiliation: Pagina GmbH

Description

Immanuel Normann was a Ph.D. student at KWARC.

Thesis Title

Automated Theory Interpretation