Sophie Pinchinat

PUBLICATIONS

TALKS

STUDENTS

TEACHING

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

NEWS

  • Strategic Reasoning 2014, satellite Workshop of ETAPS 2014 , 5-13 April 2014, Grenoble, France
  • GandALF 2014, 5th International Symposium on Games, Automata, Logics and Formal Verification, Verona (Italy) 10-12 September 2014.
  • TTL 2015, Fourth International Congress on Tools for Teaching Logic, Rennes (France), 1-4 June 2015.

PERMANENT EVENTS

  • 68NQRT seminar of IRISA/INRIA
  • Concours Castor Informatique France

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