Sophie Pinchinat

PUBLICATIONS

TALKS

STUDENTS

TEACHING

short CV

USEFUL LINKS



-
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

PERMANENT EVENTS/LINKS

FORTHCOMING EVENTS

  • AAAI 2022 (PC). The 12th AAAI Symposium on Educational Advances in Artificial Intelligence February 26-27, 2022 at the Vancouver Convention Centre, Vancouver, British Columbia, Canada.
  • IJCAI-ECAI-2022 (Board-PC). The 31st International Joint Conference on Artificial Intelligence. July 23-29, 2022, Vienna, Austria.
  • 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.
  • HEADLINES

  • Book (in French) Logique : fondements et applications Pierre Le Barbenchon, Sophie Pinchinat, François Schwarzentruber. To appear January 5, 2022
  • Moshe Vardi World Logic Day Webinar, From Aristotle to the iPhone
  • R Ramanujam has been awarded The Indira Gandhi Prize for popularization of science for 2020
  • MEMBERSHIP

    PROJECTS and SOFTWARES

    HOT TOPICS