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

  • Invited talk at the Virtual Talk Series 2023 of IEEE CSS TC DES, May 25, 2033.

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

    FORTHCOMING EVENTS

  • Journées annuelles du GDR RIADIA (invited talk) 2-3 juillet 2023, Strasbourg, France.
  • 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.
  • GandALF 2023 (invited talk) Games, Automata, Logics, and Formal Verification 18–20 September 2023, Udine, Italy.
  • RADICAL (PC) Third International Workshop on Recent Advances in Concurrency and Logic, 18 September 2023, Antwerp, Belgium. Co-located with CONFEST 2023.
    		•

    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 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