We are happy to welcome [Tom Wiesing](/people/twiesing) to the KWARC group as a new Ph.D. student.
Jonas received his Master's degree in Computer Science from Jacobs University Bremen; supervised by the KWARC group. He will be working on the [OpenDreamKit Project](/projects/odk) on the [MathHub Portal](http://mathhub.info).