 
| 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
- GImInAL
Games of Imperfect Information via Automata and Logic, December 7 and
December 10, 2013 Alladi Ramakrishnan Hall, IMSc
- IARCS Annual Conference on
Foundations of Software Technology and Theoretical Computer
Science,
IIT Guwahati, India, December 12-14 2013. - Strategic
Reasoning 2014, satellite Workshop
of ETAPS 2014 , 5-13 April
2014, Grenoble, France
- 68NQRT seminar of IRISA/INRIA
|
RESEARCH
- Logic, Automata and Games
- Imperfect Information, Knowledge, Uncertainty
- Synthesis problems
- Diagnosis, Opacity and Control Theory
| TEACHING
- Logic and Automata
- Game Theory
- Verification
- Algorithmics
|
|
RESPONSABILITIES
- 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
- Project member of
National research groups: GDR-IM Logique et complexité, GDR-GPL FORWAL
.
|
|