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

  • Annual Meeting of the Data, Automata, Algebra, and Logic French Working Group GT DAAL, IRISA, Rennes, April 25-26, 2024. (Deadline April 1st, 2024).
  • Workshop on automata theory and its connection with algebra and logicATLAS '24, EPITA Rennes, April 23-24, 2024.
  • !! Open positions at Uni Rennes in 2024 !! 3PR+9MCF
  • Book (in French) Logique : fondements et applications P. Le Barbenchon, S. Pinchinat, F. Schwarzentruber. Dunod, 2022.
  • FORTHCOMING EVENTS

  • Dagstuhl Seminar 24251 Teaching Support Systems for Formal Foundations of Computer Science, Jun 16–21, 2024.
  • (PC) JFIA 2024 Journées d’Intelligence Artificielle Fondamentale, 1er au 3 juillet 2024, La Rochelle, France.
  • (PC) Highlights 2024 September 16 to September 20 at the University of Bordeaux, France, in LaBRI.
  • (PC) ATVA 2024 22nd International Symposium on Automated Technology for Verification and Analysis, October 21-24, 2024, in Kyoto, Japan.
  • ACTIVITIES - MEMBERSHIP

    • Each year, I am involved in many PC boards: such as MFCS, WoLLIC, 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 the Plate-Forme Intelligence Artificielle.
    • 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