Sophie Pinchinat

PUBLICATIONS

TALKS

STUDENTS

TEACHING

short CV

USEFUL LINKS



-

Full Professor
at ISTIC (Department of Electrical Engineering and Computer Science) University of Rennes 1
Research Scientist in the LogicA research team at IRISA / INRIA Rennes - Bretagne Atlantique
Assistant Tifenn Donguy (Tifenn.Donguy[at]irisa.fr and +33(0)2 99 84 74 37, office E211)
Offices and telephone +33 (0)2 99 84 72 54 in B119 at IRISA
Address / IRISA / Campus Universitaire de Beaulieu / 263 Avenue du Général Leclerc - Bât 12 / 35042 Rennes Cedex / FRANCE

    HEADLINES

  • Journée Annuelle 2018 du Groupe de Travail: Méthodes formelles pour la sécurité, February 7, 2018, ENS Paris-Saclay (Cachan).
  • WODES 2018 14th Workshop on Discrete Event Systems, May 30 - June 1, 2018, Sorrento Coast, Italy.
  • WoLLIC 2018 25th Workshop on Logic, Language, Information and Computation July 24th to 27th, 2018, Bogota, Colombia.
  • IJCAI-ECAI 2018 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence, July 13-19, 2018, Stockholm, Sweden.
  • AAMAS 2018 17th International Conference on Autonomous Agents and Multiagent Systems, July 10-15, in Stockholm, Sweden.

PERMANENT EVENTS/LINKS

HOT TOPICS

RESEARCH

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

TEACHING >>

  • Logic and Automata    
  • Algorithmics
  • Model checking

NETWORKS and PROJECTS

RESPONSABILITIES