menu
M.Sc. Bastian Laubner
Master Student
KWARCie September 2005  -  August 2007

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