Constantin Jucowski, Ph.D. Student of Computer Science at FAU Erlangen supervised externally by Prof. Michael Kohlhase.
As of 2007 I am participating in various projects within the KWARC group, namely: SIDER: main developer of the xText based framework for developing semantic IDEs. NWERC 2010: (regional phase of ACM-ICPC): judge and one of the main organizers. LaMaPUn: worked on mathematical formula disambiguation. MathWebSearch: optimized and extended index data structure.