I am a CNRS Researcher at LIX, École Polytechnique de Paris.
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.
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.
CNRS Zoom , CNRS Etamine Missions, EasyChair, Oreli, Portail Missions, Agate-tempo, Ariane , Overleaf, ChatGPT, LIX Webmail
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
e-mail: frank.valencia@gmail.com.