I started a new position as Full Professor at the Ruhr-University Bochum in Germany. I will lead the Chair of Artificial Intelligence and Formal Methods. I am extremely excited about this new role, and will soon open multiple PhD and Postdoc positions. More news coming!