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