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 Fanny Banor
(fanny.banor[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

  • Logic, Automata and Games
  • Imperfect Information
  • Knowledge, Uncertainty
  • Synthesis problems
  • Formal methods for security
  • Diagnosis and Control Theory

TEACHING

  • Logic
  • Automata    
  • Algorithmics
  • Model checking

HEADLINES

  • TIME 2019 International Symposium on Temporal Representation and Reasoning.
  • GraMSec 2019 6th International Workshop on Graphical Models for Security Hoboken. Co-located with CSF 2019.
  • LICS 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science.
  • SR 2019 International Workshop on Strategic Reasoning (tba).
  • AAMAS 2019 18th International Conference on Autonomous Agents and Multiagent Systems.
  • Sec Days 2019 IRISA/Inria Rennes, January 9-10, 2019.
  • Dynamics of MultiAgent Systems December 17-21, 2018, Lorentz Center, Leiden, NL.
  • PERMANENT EVENTS/LINKS



    HOT TOPICS

    NETWORKS and PROJECTS

    MEMBERSHIP