Sophie Pinchinat

Research Scientist at IRISA in the team S4 Lecturer and Associate Director at the institute IFSIC of university of Rennes 1 Address Institut de Recherche en Informatique et Systèmes Aléatoires Campus Universitaire de Beaulieu 35042 Rennes Cedex - FRANCE Offices C202 ORANGE at IRISA / D286 at IFSIC Tel +33 2.99.84.72.54 - Fax +33 2.99.84.71.71 - Secretary Laurence.Dinh[at]irisa.fr or +33 2.99.84.74.84

PUBLICATIONS

CV (in french)

TALKS

TEACHING

LINKS

STUDENTS

Research Interests in Theoretical Computer Science

• Logics: temporal logics, second order temporal logics, mu-calculus, satisfiability, model-checking
• Synthesis: models synthesis from logical specifications
• Automata and Games: tree automata, parity automata, games (two players, multi players), logics for strategies specification
• Imperfect Information, Observability: logics for partial observation, indistinguishability
• Theory of Control: discrete-event systems, controller synthesis, architectures of control, partial observation, decentralized and modular control
• Diagnosis: patterns, open systems, infinite-state systems, logical statements

Professional Activities

• Assistant Director of the "Institut de Formation Supérieure en Informatique et Communication de l'université de Rennes 1" >>
• Responsable for the International Relations of the "Institut de Formation Supérieure en Informatique et Communication de l'université de Rennes 1" >>
• Member of the Scientific Council collège "HDR", groupe "math-stic" >>
• Member of the Scientific Committee of IFSIC
• Advisory Board Marie Curie Fellows Association (Public Relations Associate and Science Policy Advisor) >>
• Board of Directors Institut de Formation Supérieure en Informatique et Communication de l'université de Rennes 1 >>
• Editorial Board of the Journal on Dynamical Discrete-even Systems, Theory and Applications (from 2010)
• Co-organiser Seminar 68NQRT of IRISA
• Mediator PHD students of IRISA Lab
• Projects Member of COMBEST, ARTIST2, FAST, GDR IM Logique et complexité national research group - Participant of GAMES, DOTS .