Está de visita Hans van Ditmarsch

Hans van Ditmarsch is a senior researcher at CNRS-LORIA in Nancy, France, where he is heading the research team CELLO (Computational Epistemic Logic in LOrraine). His research is on the dynamics of knowledge and belief, information-based security protocols, modal logics, and combinatorics. He has been an editor of the Journal of Philosophical Logic. He is an author of the textbook and monograph Dynamic Epistemic Logic, an editor of the Handbook of Epistemic Logic, and an author of the logic puzzles book One Hundred Prisoners and a Light Bulb.

Es invitado del Dr. Sergio Rajsbaum para realizar investigación en temas de lógica epistemica, computación distribuida y topología.

Información proporcionada por el anfitrión