Information, Interaction, and Choice


Doctoral Privatissimum

Studying logics like the polyadic modal mu-calculus, epistemic temporal logic, and strategy logic, this doctoral privatissimum will explore logical questions at the intersection of game theory, epistemology, and information flow control. It is meant as an introduction for interested students to current research on logics for reactive systems. Our goal is to develop the languages needed to formulate important questions such as “what information is leaked to an external observer?”, “can two requirements be satisfied at the same time?”, “what objectives can be enforced through a certain interface?”, and, at the same time, to understand the algorithmic tools need to answer such questions in an automatic verification or synthesis tool.

Room: 506, building E1.3
Time: Thursdays 8:30am-10:00am