F R A N K     D.    V A L E N C I A' s     H O M E     P A G E
my picture
Frank D. Valencia
CNRS Research Scientist at
Laboratoire d'Informatique (LIX)
École Polytechnique de Paris
in the INRIA team COMÈTE.


Postal Address:
LIX
Campus de l'École Polytechnique
1 rue Honoré d'Estienne d'Orves
Bâtiment Alan Turing
CS35003
Palaiseau, 91120 France.

Office: 2069 - Tel:+33(0) 1 77 57 80 44 - Cel:+33(0) 645 01 12 73 - Fax:+33(0) 1 74 85 42 42
  e-mail: frank.valencia@gmail.com

How to get to LIX (located at the Inria Saclay Research Centre)


 Professional

  Main interests
        Process calculi
        Logic for computer science
        Constraint-based formalisms

   Research papers and projects
       Publications

  Main Supervisor of:
        Michell Guzman, 2014-. (PhD Student)
        Salim Perchy, 2013-. (PhD Student)
        Sophia Knight, 2011-2012. (PhD Student)
        Luis F. Pino, 2011-2014. (PhD Student)
        Andres Aristizabal, 2009-2012. (PhD Student)
        Jesus Aranda, 2006-2009. (PhD Student)
        Carlos Olarte, 2006-2009. (PhD Student)

  Current activities
       PC Chair of ICTAC 2015
       Coordinator of LIX Postdoctoral fellowship
       PC Member of PPDP 2014
       PC Member of ICLPDC 2014

  CV in PDF format.

                 
Shield of arms of Colombia   Miscellaneous
     Bookmarks
     Private
     Photos
     Good reads