Members and long-term visitors

January 2018 to June 2018, Hans van Ditmarsch. Hans van Ditmarsch has been a senior researcher (DR) at CNRS since 2012. He is based at LORIA in Nancy, where he heads the research team CELLO (Computational Epistemic Logic in LOrraine), and where he executed an ERC (European Research Council) starting grant Epistemic Protocol Synthesis. He has been associated to IMSc since 2010. During his stay at RELAX he will work on concurrency and simultaneity in dynamic epistemic logic, in collaboration with members of IMSc and CMI.

September 2017 to August 2018, Sinnou David. Sinnou David has taught mathematics at Université Pierre et Marie Curie, Paris (UPMC) since 1989, and has been a professor of that University since 2006. He is a member of the IMJ-PRG in Paris, of which he was deputy director, before he became deputy scientific director of INSMI CNRS, in charge of international affairs. He has been associated with IMSc since the early 80’s and to CMI since its foundation. During his stay at ReLaX, this specialist of diophantine geometry will teach a specialized course in diophantine geometry, organize a regular reading group seminar, and give a short series of lectures on the proof by Faltings of the Tate and Shafarevich conjectures. More…