Sophie Pinchinat

Biography

Sophie Pinchinat received a MSc in pure maths, a MSc in computer science, a PhD degree in Computer Science from the University Joseph Fourier in Grenoble (France), and in 2033 she defended her HDR (French habilitation to supervise research) degree in Computer Science.  Sophie has been awarded the competitive Marie Curie Outgoing Individual Fellowship Grant to visit the RSISE lab of the Australian National University.  She is now a full Professor in Computer Science at the University of Rennes, and the leader of the research team LogicA of the IRISA laboratory. She served the Editorial Board of Discrete-Event Dynamic Systems for ten years (2010-2020), and is involved in program committees of many renowned international conferences (AAAI, AAMAS, IJCAI, LICS, MFCS, ...).  She recently was the co-chair of the 26th International Symposium on Temporal Representation and Reasoning (TIME 2019) and the co-chair and OC for the 14th International Conference on Advances in Modal Logic (AiML 2022). She is an active member of the Steering Committee of the international network on Logical Aspects of Multi-Agent Systems and Strategic Reasoning, and a member of the international association for Women in Logic (WiL). Her research activities concerns logic, automata-theoretic tools, game theory, imperfect information, strategic reasoning, synthesis, with applications to multi-agent systems and security. In 2023, she is invited as a keynote speaker at the 11th event of the series of international conferences ``Highlights of Logic, Games and Automata'' at the University of Kassel, Germany (July 2023), and at the 14th International Symposium on Games, Automata, Logics, and Formal Verification, at the University of Udine, Italy (September 2023).