Meet the MCMPer: Gianluca Grilletti
Location: Ludwigstr. 31, ground floor, Room 021.
20.10.2022 at 16:00
For our first meeting, Gianluca is going to give a quick overview of some of his current research projects. He will focus on two topics in particular: new tools to study inquisitive logic and geometric model checking. A little spoiler: if you want to see how modal logic can be used in medical applications, don't miss the talk!