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.  

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

        Carlos Pinzón, 2020 - 
        Santiago Quintero, 2018-.
        Sergio Ramirez,  2017-2020 
        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

  • ECOS-NORD Facts (2019-2021)  
  • SticAmsud  EPIC (2017-2018)
  •   COLCIENCIAS CLASSIC (2016-2019)
  •   PUJ  REACT (2017)
  Current Teaching 

Automata Theory, Computability,  Concurrency Theory, Formal Methods in Computer Science, Foundations of Computer Science, Discrete Math.


  Academic Tools: EasyChair, Oreli, Portail Missions, 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.comwikipediawolframiCloudyoutubetranslate calendarfacebooknetflix

...more