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 B119/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 and EVENTS

  • Master internship proposal We have a master internship proposal on formal foundations of attack-defense trees. The details are available here
  • 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
  • FORTHCOMING EVENTS

  • AMAAS-2021 (PC) The 20th International Conference on Autonomous Agents and Multiagent Systems. 3-7 May, London, UK.
  • ICALP-2021 (Track B) (PC) The 48th International Colloquium on Automata Languages and Programming. Glasgow, UK on 12-16 July 2021.
  • IJCAI-2021 (SPC) 30th International Joint Conference on Artificial Intelligence. August 2021, Montreal, Canada.
  • LAMAS&SR 2021 (SC and PC) International Workshop on Logical Aspects of Multi-Agent Systems and Strategic Reasoning. Satellite workshop of AAMAS 2021, London, United Kingdom, May 3 or 4 (TBA), 2021
  • ESSLLI 202132nd European Summer School in Logic, Language and Information (ESSLLI), July 26 - August 13, 2021.
  • Workshop on automated synthesis 2021 (PC and invited talk) , July 29 and July 30 2021, co-located with ESSLLI 2021.
  • HOT TOPICS



    PROJECTS and SOFTWARES

    PERMANENT EVENTS/LINKS

    MEMBERSHIP


    Search with Qwant, the search engine that respects your privacy.