We are happy to welcome Jonas Betzendahl to the KWARC group as a new Ph.D. student. Jonas received his Master’s degrees in Computer Science from the University of Bielefeld; supervised by the KWARC group. He will be working on the OAF Project on reasoning with undefinedness.