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
 LIX, École Polytechnique, Rue de Saclay,
  91128 Palaiseau Cedex, FRANCE.

Tel:+33(0) 169 33 4144 - Fax:+33(0) 169 33 3014
  Mail:frank.valencia@lix.polytechnique.fr also frank.valencia@gmail.com
URL:www.lix.polytechnique.fr/~fvalenci



 Professional

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

   Research papers and projects
       Publications
       Responsible for FORCES
       Co-director of REACT

  PhD Students
        Andres Aristizabal, 2009--.
        Jesus Aranda, 2006--.
        Carlos Olarte, 2006--2009.

  Current activities
       PC member of ICLP'09
       Teaching at MPRI
       Teaching Process Modeling at PUJ
       Area editor of the ALP newsletter

  CV in PDF format.

                            
Shield of arms of Colombia   Miscellaneous
     Bookmarks
     Private
     Photos
     Good reads