Sophie Pinchinat

Full Professor at Univ Rennes at ISTIC
(Department of Electrical Engineering and Computer Science)
Research Scientist LogicA research team at IRISA / INRIA
Assistant Sophie Maupilé
(sophie.maupile[at]irisa.fr and +33(0)2 99 84 71 26, office E211)
Offices and telephone +33 (0)2 99 84 72 54 in B119 at IRISA
Address Office B008 Building 13/IRISA/Campus Universitaire de Beaulieu/
263 Avenue du Général Leclerc/Bât 12/35042 Rennes Cedex/FRANCE

RESEARCH INTERESTS

Logic, Automata and Games
Imperfect Information
Knowledge, Uncertainty
Synthesis problems
Strategic reasoning
Formal methods for security
Diagnosis and Control Theory

TEACHING TOPICS

Logic
Automata
Algorithmics
Model checking

HEADLINES

I organize AiML 2022 and LAMAS&SR 2022

Logic4peace:: fundraising online Logic event for Peace

Book (in French) Logique : fondements et applications P. Le Barbenchon, S. Pinchinat, F. Schwarzentruber. Dunod, 2022.

FORTHCOMING EVENTS

IJCAI-ECAI-2022 (Board-PC). The 31st International Joint Conference on Artificial Intelligence. July 23-29, 2022, Vienna, Austria.

FLoC2022. The Eighth Federated Logic Conference (FLoC 2022), July 31 - August 12, 2022, Haifa, Israel.

AiML 2022 (PC & Organizer). Advances in Modal Logic August 22-25, 2022, Rennes, France. Co-located with LAMAS&SR.

LAMAS&SR 2022 (PC & Organizer). International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning August 25-26, 2022, Rennes, France. Co-located with AiML 2022.

ACTIVITIES

Each year, I am involved in many PC boards: IJCAI, AAMAS, AAAI, AiML, ICALP, LICS, CSL, LAMAS&SR, TIME (see here)
Each year, I am involved in many national events to promote computer science and AI.
Each year, I am involved in many PhD and HDR committees in theoretical computer science and AI.

MEMBERSHIP

Theme Leader on Algorithms and Complexity in Computer Science for SCIENCES(ISTE Group)
Société Informatique de France
Administrative Council of ISTIC

PERMANENT EVENTS/LINKS

PROJECTS and SOFTWARES

A tool for formal Attack Tree Synthesis paper "Library-based Attack Tree Synthesis" by S. Lê Cong, S. Pinchinat, F. Schwarzentruber. GraMSec 2020
ATSyRA Studio A tool for the assisted design of Attack Trees.
Hintikka's world! A tool for intelligent artificial agents reasoning about higher-order knowledge
EIT Digital UAV-Retina(2019-2021), future drones for emergency management, and EOLE EYES
CominLabs-AI-for Education (2019-2020), Exploratory experiments combining Information Systems and Natural Language Processing

HOT TOPICS