News of June 3, 2024

Anouk Michelle Oudshoorn and Nick Leisegang visit the Computational Logic Research Group

The Computational Logic Research Group at the Faculty of Computer Science at TU Dresden is pleased to receive Anouk Michelle Oudshoorn and Nicholas Leisegang as research guests.

Anouk is a PhD candidate at the Technical University of Vienna, supervised by Magdalena Ortiz and Mantas Šimkus. She started her PhD in October 2022, after finishing the Master of Logic at the University of Amsterdam. Before that, she obtained a BSc in Mathematics and a BA in Philosophy at the Radboud University in Nijmegen, both in 2020.

Her current research focuses on the theoretical aspects of combining SHACL with OWL, both technologies used in the Semantic Web community. For this, she uses many techniques known from Knowledge Representation and Reasoning. Furthermore, Anouk is interested in, among other topics, fixed point logics and automata theory.

Nicholas is also a PhD candidate since the beginning of 2024 at the Artificial Intelligence Research Unit at the University of Cape Town (UCT), South Africa, under the supervision of Prof. Tommie Meyer. Nicholas completed a BSocSci in Mathematics and Philosophy in 2020, a BSc(Hons) in Mathematics in 2021, and a MSc in Mathematics (specializing in Algebraic Logic) at the end of 2023, all at UCT. His main research interest is Non-Monotonic Reasoning, KLM style defeasibility, in particular, and its implementation into various logics and aspects of knowledge representation and reasoning.

"We are delighted to receive Anouk and Nicholas in our group," Sebastian Rudolph, director of the Computational Logic Research Group, stated. "Not only because they are outstanding researchers, but also because of these kind of research stays are incredible opportunities to boost understanding of different fields and to foster collaborations." He continued.

We welcome Anouk and Nicholas and wish them a fruitful stay!