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 Researcher at LIX, École Polytechnique de Paris and an Assoc. Professor at Univ. Javeriana de Cali. 

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-2017. 
        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

  Projects

  •   SticAmsud  EPIC (2017-2018)
  •   COLCIENCIAS CLASSIC (2016-2019)
  •   PUJ  REACT (2017)
  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