F R A N K     D.    V A L E N C I A' s     H O M E     P A G E


I am a CNRS Research Scientist at LIX, École Polytechnique de Paris.

 Since May 2016, I serve as Deputy Director of LIX, École Polytechnique de Paris 

Research

My main research interests are within Concurrency Theory, Logic for Computer Science, Constraint-based Formalisms, and in general Formal Methods in computer science. I am a member of the INRIA team COMÈTE and the AVISPA group.

 Publications: In the open repository HAL, in DBLP, and HTML. 

Further information about my research can be obtained at Research Gate and Google Scholar.

Academic and Scientific Duties

  Main PhD Supervisor of

        Sergio Ramirez,  2017- 
        Michell Guzman, 2014-. 
        Salim Perchy, 2013-2016. 
        Sophia Knight, 2011-2012 
        Luis F. Pino, 2011-2014 
        Andres Aristizabal, 2009-2012 
        Jesus Aranda, 2006-2009
        Carlos Olarte, 2006-2009

  Program Committees 


  Current Teaching 

Automata Theory,  Concurrency Theory, Formal Methods in Computer Science.


  Academic Tools: EasyChair, Oreli, LIX Webmail.  
How to get to LIX
Postal Address: 
LIX & INRIA-Saclay 
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
Campus de l'École Polytechnique
91120 Palaiseau 
France.  
Office: 2069 - Tel:+33(0) 1 77 57 80 44 
 Web tools and social media 
gmailhangoutshttps://groups.google.com/https://drive.google.comwikipediawolfram
translatewebstercalendaryoutubefacebook
...more