---
layout: person
menu_title: Immanuel Normann
title: Immanuel Normann
menu_order: 102
fullname: Dr. Immanuel Normann
role: phd-student
pic: public/images/inormann.jpg
start-date: 2004-01
end-date: 2008-12
---
### Description
Immanuel Normann was a Ph.D. student at KWARC,
### Thesis Title:
Automated Theory Interpretation
### Current Affiliation?
Pagina GmbH.