Skip to content
Snippets Groups Projects
Normal view Permalink
blaubner.md 348 B
Newer Older
  • Learn to ignore specific revisions
    • Michael Kohlhase's avatar
    new
    Michael Kohlhase committed
    1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 
    ---
layout: person
title: Bastian Laubner
fullname: Bastian Laubner
role: master-student
start_date: 2005-09
end_date: 2007-08
---

### Research Focus:
My interests are in the fields of logic, graph theory, computation theory, and the design of algorithms.

 
 ### Thesis Title:
 Mapping Mathematics with Theory Graphs A Case Study and a Prototype