Two new KWARC PostDocs by
Prof. Dr. Michael Kohlhase
01 Nov 2018

We are happy to welcome two new postdoctoral researchers to the KWARC group: Katja Berčič and Chenwei Shi.

Katja received her Ph.D. in mathematics from the University of Ljubljana in 2015 and will be working on the OpenDreamKit Project, mostly on extending with a generic mathematical data aspect.

Chenwei received his Ph.D. in Logic at the University of Amsterdam in 2018 and will be working on the ALMANAC project.