I am an assistant professor at the Department of Applied Mathematics and Computer Science of Danish Technical University (DTU Compute). My main research interest lies in the logical aspect of learning in both single- and multi-agent context, and involves formal epistemology, formal learning theory, dynamic epistemic logic, computability theory, belief revision, and multi-agent systems. I am also studying the role of logic and logical modeling in cognitive science.
I obtained my PhD in Computer Science in 2010 from the Institute for Logic, Language and Computation (ILLC), University of Amsterdam, under the supervision of Johan
van Benthem and Dick de Jongh. In my dissertation, titled "Knowing One's Limits. Logical Analysis of Inductive Inference" I explore the connections between formal learning theory and dynamic epistemic logic.
Below you can find selected information about my research.
Papers   Talks   Teaching   Academia   Awards   Contact   CV