Skip to content
Snippets Groups Projects
Normal view Permalink
inormann.md 318 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more
    Michael Kohlhase committed
    1 2 3 4 5 6 
    ---
layout: person
title: Immanuel Normann
fullname: Dr. Immanuel Normann
role: phd-student
pic: public/images/inormann.jpg
    Tom Wiesing's avatar
    Group people into active / inactive  
    Tom Wiesing committed
    7 8 
    start_date: 2004-01
end_date: 2008-12
    Michael Kohlhase's avatar
    more
    Michael Kohlhase committed
    9 10 11 12 13 14 15 
    ---
### Description
Immanuel Normann was a Ph.D. student at KWARC,
### Thesis Title:
Automated Theory Interpretation
### Current Affiliation?
Pagina GmbH.