---
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