Skip to content
Snippets Groups Projects
Normal view Permalink
blaubner.md 349 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    new
    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
    new
    Michael Kohlhase committed
    4 
    title: Bastian Laubner
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    5 6 
    fullname: M.Sc. Bastian Laubner
    Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    7 8 9 10 11 
    role: master-student
start_date: 2005-09
end_date: 2007-08
---
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    12 
    ### Research Focus
    Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    13 14 
    My interests are in the fields of logic, graph theory, computation theory, and the design of algorithms.
    Tom Wiesing's avatar
    Get people pages ready for deployment  
    Tom Wiesing committed
    15 16 
    ### Thesis Title
Mapping Mathematics with Theory Graphs A Case Study and a Prototype