Luc Segoufin 
INRIA researcher, head of 
.
I am located at the LSV in ENS-Cachan.
To get there, look at this page (don't hesitate to click on "detailed map").
Subjects of interest :
- Database theory
- Verification
- Logic in computer science
- Finite model theory
- Formal languages and automata
- Complexity
Projects :
FoX, Foundation of XML (FP7).
Webdam (ERC).
Address :
-
- LSV, ENS de Cachan, 61 avenue du Président Wilson, 94235 CACHAN Cedex, FRANCE
- Tel : (33-1) 4740 7523
- Tel secretary: (33-1) 4740 7517
- Fax : (33-1) 4740 7521
- Email : firstname.lastname@inria.fr
![No e-patent!]()