inormann.md

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.