Pasar al contenido principal
Banner profesor

Frank Darwin Valencia Posso

Facultad Ingeniería y Ciencias

Perfil

Educación

  • Doctorado en Ciencias de la Computación por la Universidad de Aarhus, Dinamarca 2002.
  • Maestría en Ciencias de la Computación de la Universidad de Aarhus, Dinamarca 2000.
  • BSc in Computer Science and Engineering from La Pontificia Universidad Javeriana de Cali in 1998. 

Experiencia profesional

  • 2015-present: Associate Professor Pontificia Universidad Javeriana Cali.
  • 2004-presente: Investigador principal en CNRS LIX Ecole Polytechnique de Paris.
  • 2002-2004: Investigador postdoctoral en la Universidad de Uppsala, Suecia.
  • 2000-2000: Investigador visitante de Penn State University, EE. UU.
  • 2000-2002: Asistente de cátedra en la Universidad de Aarhus, Dinamarca.
  • 1996-1997: Assistant Professor Pontificia Universidad Javeriana Cali.

 

Programas académicos

En la Javeriana Cali estamos convencidos de que la educación es clave a la hora de cambiar la realidad del planeta. Conoce nuestra oferta académica e identifica el programa con el que podrás aportar a la transformación de tu entorno.

Participación académica

Departamentos

  • Departamento de Electrónica y Ciencias de la Computación 

Asignaturas

  • Programación Concurrente y Distribuida
  • Computabilidad y Complejidad
  • Programación Funcional

Trabajos y tutorías

Posgrado

  • Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming  Ecole Polytechnique
    Estado: Tesis concluida  Computer Science  ,2011
    Persona orientada: LUIS FERNANDO PINO DUQUE
    Dirigió como: Tutor principal,  meses   
    Areas: Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • The Epistemic View of Concurrency Theory  Ecole Polytechnique 
    Estado: Tesis concluida  Computer Science  ,2010
    Persona orientada: Sophia Knight
    Dirigió como: Tutor principal,  meses   
    Areas: Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • Bisimulation Techniques and Algorithms for Concurrent Constraint Programming  Ecole Polytechnique
    Estado: Tesis concluida  Computer Science  ,2009
    Persona orientada: ANDRÉS ALBERTO ARISTIZÁBAL PINZÓN
    Dirigió como: Tutor principal,  meses   
    Areas: Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación
  • Universal Temporal Concurrent Constraint Programming  Ecole Polytechnique
    Estado: Tesis concluida    ,2006
     Persona orientada: Carlos Olarte
    Dirigió como: Tutor principal,  meses   
    Areas: Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación, 
  • On the Expressivity of Infinite and Local Behaviour in Fragments of the pi-calculus  Ecole Polytechnique
    Estado: Tesis concluida    ,2006
    Persona orientada: Jesus ARANDA
    Dirigió como: Coturor/asesor,  meses   
    Areas: Ciencias Naturales -- Computación y Ciencias de la Información -- Ciencias de la Computación,