M.Sc. Bastian Laubner
Master Student, KWARCie September 2005 - August 2007
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