blaubner.md

---
layout: person

title: Bastian Laubner
fullname: M.Sc. 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