Sophie Pinchinat

Full Professor at the Department of Electrical Engineering and Computer Science ISTIC of university of Rennes 1 / Research Scientist at IRISA in the INRIA team S4
Assistant Angélique Janoux (Angelique.Janoux[at]irisa.fr or +33 (0)2 99 84 25 22)
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

LOFT 2012, June 18-20, 2012 University of Sevilla, Spain
68NQRT seminar of IRISA/INRIA

LATEST EVENTS

GIPSy Workshop 2011 on Games, Logic and Security, October 25-26-27, 2011, Rennes, France
Talk of Moshe Vardi And Logic Begat Computer Science: When Giants Roamed the Earth October 27, 2011, at University of Rennes 1

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

Current additional 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, GDR IM Logique et complexité national research group. Participant of GAMES, DOTS .
Program committees GIPSy Workshop 2011, LOFT10 2012

Past Activities

Member of the Scientific Council of the University of Rennes 1 collège "HDR", groupe "math-stic" >>

Assistant Director of IFSIC (now ISTIC ) until September 2010
Board of Directors of IFSIC
Member of the Scientific Committee of IFSIC
Commissions of Experts Section 27 of université de Bretagne Ouest and université de Rennes 1
Scientific Co-ordinator of the Marie Curie Scientific Project MASLOG 021669 (FP6-2004-Mobility-6)
Program committees WODES 2008, SLA++P08, GIPSy Workshop 2010