---
layout: person
title: Immanuel Normann
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.