inormann.md

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.