Luc Segoufin 
INRIA researcher, member of VALDA
I am located at ENS ULm in the heart of Paris
Subjects of interest :
- Database theory
- Verification
- Logic in computer science
- Finite model theory
- Formal language and automata
- Complexity theory
Projects :
Address :
-
- DI, ENS Ulm, 45 rue d'Ulm, 75005 Paris, FRANCE
- Escalier A, last floor
- Tel : (33-1) 4432 2169
- Email : firstname.lastname@inria.fr