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
       Co-director of REACT-PLUS

  Students
        Sophia Knight , 2011--. (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
       Teaching Process Modeling at PUJ
       PC Member of EXPRESS 2012
       PC Member of CONCUR 2013
  CV in PDF format.

                 
Shield of arms of Colombia   Miscellaneous
     Bookmarks
     Private
     Photos
     Good reads