Frank Valencia's Home Page

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 I lead the  AVISPA  group.

These are my publications in HAL, DBLP, and HTML. Further information about my research can be obtained at Research Gate and Google Scholar.

Academic and Scientic Duties

Supervisor of the PhD students:

        Juan Fernando Paz, 2023 - 

        Carlos Pinzón, 2020 - 2023

        Santiago Quintero, 2018-2022.

        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



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

 Web Tools and Social Media:

Postal Address:

LIX & INRIA-Saclay 

1 rue Honoré d'Estienne d'Orves

Bâtiment Alan Turing

Campus de l'École Polytechnique

91120 Palaiseau 


Office: 2069 - Tel:+33(0) 1 77 57 80 44