News98: Unterschied zwischen den Versionen
Alex Ivliev (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Larry Gonzalez (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 24: | Zeile 24: | ||
Nicholas is also a PhD candidate since the beginning of 2024 at the [https://airu.org.za/ Artificial Intelligence Research Unit] at the [https://uct.ac.za/ University of Cape Town (UCT)], South Africa, under the supervision of Prof. [https://tommiemeyer.org.za/ 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. | Nicholas is also a PhD candidate since the beginning of 2024 at the [https://airu.org.za/ Artificial Intelligence Research Unit] at the [https://uct.ac.za/ University of Cape Town (UCT)], South Africa, under the supervision of Prof. [https://tommiemeyer.org.za/ 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. | ||
</p><p> | </p><p> | ||
"We are delighted to receive Anouk and Nicholas in our group," [[Sebastian Rudolph]] stated. | "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. | ||
"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. | |||
</p><p> | </p><p> | ||
We welcome Anouk and Nicholas and wish them a fruitful stay! | We welcome Anouk and Nicholas and wish them a fruitful stay! | ||
Version vom 16. Juni 2024, 17:13 Uhr
Neuigkeit vom 3. Juni 2024
Forschungsgruppe Computational Logic begrüßt Anouk Michelle Oudshroorn und Nick Leisegang
Die Forschungsgruppe Computational Logic an der Fakultät Informatik der TU Dresden freut sich, Anouk Michelle Oudshroorn und Nicholas Leisegang als Forschungsgäste willkommen zu heißen.
Anouk ist Doktorandin an der Technical University of Vienna unter der Betreuung von Magdalena Ortiz und Mantas Šimkus. Sie begann ihr Doktorat im Oktober 2022, nachdem sie den Master of Logic an der University of Amsterdam abgeschlossen hatte. Davor erwarb sie jeweils einen Bachelor-Abschlüsse in Mathematik und in Philosophie an der Radboud University in Nijmegen, beide im Jahr 2020.
Ihre aktuelle Forschung konzentriert sich auf theoretische Aspekte bei der Kombination von SHACL und OWL, beides Technologien mit einer hohen Relevanz in Semantic Web Community. Dazu verwendet sie viele Techniken aus dem Bereich Wissensrepräsentation und Reasoning. Außerdem interessiert sich Anouk unter anderem für Fixed-Point Logiken und Automatentheorie.
Nicholas ist seit Anfang 2024 Doktorand an der Artificial Intelligence Research Unit an derUniversity of Cape Town (UCT), Südafrika, unter der Leitung von Prof. Tommie Meyer. Nicholas hat einen Bachelor of Social Science in Mathematik und Philosophie (2020), einen Bachelor with Honours in Mathematik (2021) und einen Master-Abschluss in Mathematik mit Spezialisierung in algebraischer Logik (2023) abgeschlossen, alle an der UCT. Nicholass Hauptforschungsinteresse gilt der nicht-monotonen Logik, insbesondere von Defeasability im KLM-Stil und deren Umsetzung in verschiedenen Logiken, sowie Aspekten der Wissensrepräsentation und des Reasonings.
"Wir freuen uns sehr, Anouk und Nicholas in unserer Gruppe begrüßen zu dürfen", so Sebastian Rudolph, Leiter der Gruppe Computational Logic. "Nicht nur, weil sie hervorragende Forscher sind, sondern auch, weil diese Art von Forschungsaufenthalten unglaubliche Möglichkeiten bieten, das Verständnis für verschiedene Bereiche zu fördern und Kooperationen zu unterstützen."
Wir heißen Anouk und Nicholas herzlich willkommen und wünschen ihnen einen produktiven Aufenthalt!
