Sophie Pinchinat

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

Verification and Testing of Multi-Agent Systems 2013 Dagstuhl Seminar 13181
68NQRT seminar of IRISA/INRIA

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

Activities

Scientific coordinator 2011-2012 of the university of Rennes 1 project Verification of security and privacy properties
Member of the International Affairs Council of the university of Rennes 1
Scientific Manager of the International Affairs of IRISA Laboratory >> and of the Computer Science and Electrical Engineering Department >>

Editorial Board of the Journal on Discrete Event Dynamic Systems, Theory and Applications

Advisory Board Marie Curie Fellows Association (Public Relations Associate and Science Policy Advisor) >>
Member of the ISTIC Education Council

Mediator PHD students of IRISA Lab
Projects Member of COMBEST, ARTIST2, FAST, National research groups: GDR IM Logique et complexité, GDR GPL FORWAL. Participant of GAMES, DOTS .