We are happy to welcome Tom Wiesing 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 on the MathHub Portal.