---
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