Skip to content
Snippets Groups Projects
Normal view Permalink
inormann.md 308 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    more
    Michael Kohlhase committed
    1 2 
    ---
layout: person
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    3
    Michael Kohlhase's avatar
    more
    Michael Kohlhase committed
    4 5 6 
    title: Immanuel Normann
fullname: Dr. Immanuel Normann
pic: public/images/inormann.jpg
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    7 8 
    
role: phd-student
    Tom Wiesing's avatar
    Group people into active / inactive  
    Tom Wiesing committed
    9 10 
    start_date: 2004-01
end_date: 2008-12
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    11 12 
    
affiliation: Pagina GmbH
    Michael Kohlhase's avatar
    more
    Michael Kohlhase committed
    13 
    ---
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    14
    Michael Kohlhase's avatar
    more
    Michael Kohlhase committed
    15 
    ### Description
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    16 17 18 19 
    Immanuel Normann was a Ph.D. student at KWARC. 

### Thesis Title
Automated Theory Interpretation