News from the research group Computational Logic of October 18, 2021

New Member: Piotr Ostropolski-Nalewaja

Piotr Ostropolski-Nalewaja joined the Computational Logic group in October 2021. For the next couple of years, he will be working as a postdoc researcher in the group of Prof. Sebastian Rudolph on the ERC project DeciGUT. Before that Piotr was a PhD student at the University of Wrocław, where he was doing research on existential rules (see https://orcid.org/0000-0002-8021-1638 for more info).

Good luck, Piotr!