Sophie Pinchinat

PUBLICATIONS

TALKS

STUDENTS

TEACHING

short CV

USEFUL LINKS



-

Full Professor
of Univ Rennes at ISTIC (Department of Electrical Engineering and Computer Science)
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

  • GraMSec 2018 5th International Workshop on Graphical Models for Security Oxford, UK - July 8, 2018.
  • The Logic, Uncertainty and Games School Lake Como School of Advanced Studies - July 9-13, 2018.
  • CSF 2018 31st IEEE Computer Security Foundations Symposium , Co-located with FLOC 2018, July 9-12, 2018, Oxford, UK.
  • 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.
  • AiML 2018 Advances in Modal Logic 2018. Bern, August 27-31.

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