Bastian Laubner

Student of Mathematics
Jacobs University Bremen

I am a student of Jacobs University's graduate program in mathematics since September 2006 and joined the KWARC group in October 2006.

I am currently writing my Master's thesis on applications of theory morphism graphs in mathematics. My supervisor is Prof. Michael Kohlhase, head of the KWARC research group (Knowledge Adaptation and Reasoning for Content).