Zdravko Beykov

Student of Computer Science
Jacobs University Bremen

In the spring semester 2008, I'm doing my guided research on generating aggregated mathematical documents and exporting them from SWiM to PDF (description).

My supervisor is Prof. Michael Kohlhase, head of the KWARC research group (Knowledge Adaptation and Reasoning for Content) and Christoph Lange.