Sophie Pinchinat

PUBLICATIONS

TALKS

STUDENTS

TEACHING

short CV

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 Loic Lesage (Loic.Lesage[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

NICE EVENTS TO COME

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