Darko Pesikan

Master Student
Jacobs University Bremen

As of ??? I am participating in various projects within the KWARC group.

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