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)
Offices and telephone +33 (0)2 99 84 72 54 in C202 at IRISA / +33 (0)2 23 23 39 21 in D286 at ISTIC
Address / IRISA / Campus Universitaire de Beaulieu / 263 Avenue du Général Leclerc - Bât 12 / 35042 Rennes Cedex / FRANCE

INTERNSHIP 2015-2016 Structural properties of Dynamic Epistemic Arenas

RECENT OR FORTHCOMING EVENTS

  • The Logic Summer School ANU College of Engineering & Computer Science. 30 November to 11 December 2015
  • SR 2015 3rd International Workshop on Strategic Reasoning, University of Oxford, September 21-22, 2015.

PERMANENT EVENTS/LINKS

HOT TOPICS

RESEARCH

  • Logic, Automata and Games
  • Imperfect Information
  • Knowledge, Uncertainty
  • Synthesis problems
  • Diagnosis, Opacity and Control Theory

TEACHING

  • Logic and Automata    
  • Game Theory
  • Verification
  • Algorithmics

NETWORKS and PROJECTS

RESPONSABILITIES