STEFAN MINICA
The public defense of my Ph.D. thesis Dynamic Logic of Questions is scheduled for 1 December 2011 at 10:00 hrs in Agnitenkapel, Oudezijds Voorburgwal 231, Amsterdam. On the same day will take place the GLLC-22 workshop Questions, Games, Logic starting from 14:00 hrs in room C0.01 of the University Library, Singel 425, Amsterdam.
Until recently, I was a Ph.D. student at the Institute for Logic Language and Information (ILLC),
Universiteit van Amsterdam (UvA).
I was part of the Logic and Computation (LoCo)
research group of ILLC and I worked under the joint supervision of Johan
van Benthem, Jan
van Eijck and Hans van Ditmarsch. I started my Ph.D. research by studying dynamic
epistemic logic for questions (DELQ).
In the later period, I broadened my initial interest in two
ways: by working on software implementions for questioning
(mainly in Haskell and DEMo) and by enriching the approach with a
game-theoretic twist (either in games with epistemic questioning moves
or by using querying strategies in games without epistemic moves). More
details can be found in the Research section.
Before coming to Amsterdam, I received a bachelor degree from
the Babes-Bolyai University of Cluj (UBB)
and a master degree from the University of Bucharest (BU),
Romania.
