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 MathHub.info 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.