UNAM
Usted está aquí: Inicio / Acerca del IM / Ingresos y visitantes / Está de visita Hans van Ditmarsch

Está de visita Hans van Ditmarsch

Proveniente del Centro Nacional para la Investigación Científica en Francia. Nos visita del 08 al 31 de enero de 2019.

 

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

archivado en: ,