Frank Valencia's Home Page
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.
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
Teaching:
Automata Theory, Computability, Concurrency Theory, Formal Methods in Computer Science, Foundations of Computer Science, Discrete Math.
Academic & Admnistrative Tools:
CNRS Zoom , CNRS Etamine Missions, EasyChair, Oreli, Portail Missions, Agate-tempo, Ariane , Overleaf, ChatGPT, LIX Webmail
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
France.
Office: 2069 - Tel:+33(0) 1 77 57 80 44
e-mail: frank.valencia@gmail.com.