Sophie Pinchinat

short CV

PUBLICATIONS

TALKS

STUDENTS

TEACHING

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

HEADLINES

  • World Logic Day 2023 in Rennes, see also World Logic Day proclaimed by UNESCO to support the development of logic through teaching and research, as well as to public dissemination of the discipline.
  • Book (in French) Logique : fondements et applications P. Le Barbenchon, S. Pinchinat, F. Schwarzentruber. Dunod, 2022.
  • FORTHCOMING EVENTS

  • JFIA-JFPDA (PC) Journées d’Intelligence Artificielle Fondamentale et Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes 06-07 Juillet 2023, Strasbourg, France.
  • WoLLIC 2023 (PC) 29th Workshop on Logic, Language, Information and Computation, Dalhousie University in Halifax, Canada, July 11-14, 2023.
  • Highlights 2023 (invited talk) Highlights of Logic, Automata and Games, Kassel, Germany, July 24-28, 2023.
  • MFCS 2023 (PC) Mathematical Foundations of Computer Science, Bordeaux, France, August 28-31, 2023.
  • ACTIVITIES - MEMBERSHIP

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

    PERMANENT EVENTS/LINKS

    PROJECTS and SOFTWARES

    HOT TOPICS