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 (Chargé de Recherche) at
Laboratoire d'Informatique (LIX)
École Polytechnique de Paris
in the INRIA team COMÈTE.


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

Office 2069 - Tel:+33(0) 1 77 57 80 44 - Fax:+33(0) 1 74 85 42 42
  Mail:frank.valencia@lix.polytechnique.fr (also frank.valencia@gmail.com)



 Professional

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

   Research papers and projects
       Publications

  Students
        Salim Perchy , 2013--2016. (PhD Student)
        Sophia Knight , 2011--2012. (PhD Student)
        Luis F. Pino, 2011--. (PhD Student)
        Andres Aristizabal, 2009-2012. (PhD Student)
        Jesus Aranda, 2006--2009. (PhD Student)
        Carlos Olarte, 2006--2009. (PhD Student)

  Current activities
       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