Sophie Pinchinat



PUBLICATIONS

TALKS

STUDENTS

TEACHING

CV (in french)

LINKS




-  

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

NEWS

Research Interests in Theoretical Computer Science

  • Logic, Automata and Games
  • Imperfect Information, Knowledge, Uncertainty
  • Synthesis problems
  • Theory of discrete-event systems: Diagnosis, Opacity and Control

Teaching (main courses)

  • Elements of Game Theory
  • Automata, Logic and Games
  • Verification and Testing of Embedded Systems
  • Algorithmics