English | Spanish
 
Alejandro Arbeláez
  
     
     
  Personal Information  
Personal Information
Research Interest
Education
Publications
Experence
Other Activities
Contact Information
  Last Name Arbeláez-Rodríguez
  Name Alejandro
  Position Research Assistant
  Institution Potifiicia Universidad Javeriana, Cali
  Department AVISPA Research Group, Engineering Department
  Email aarbelaez AT cic.puj.edu.co, alejandro.arbelaez AT gmail.com
     
 
Research Interest  
 
 
  • Teorical Computing
  • Formal specification and verification
  • Constrain Programming
   
 
  Education  
 
  Pontificia Universidad Javeriana. Cali-Colombia
 
  • Bachelor Degree in Computer Science Engineering, Octuber 2006 (Ingeniero de sistemas y computación). Five years of coursework and research thesis.
  Elective Courses Taken
 
  • Foundations of Constraint Programming
  • Concurrent Programming in Oz
  Thesis
 
  • Applying Concurrent Constraint Programming in Bioinformatics: An Exploratory Study (Estudio Exploratorio de la Aplicación de la Programación Concurrente en Bioinformática). Joint Work with Julian Gutierrez Supervised by Camilo Rueda. Honors by outstanding research work
 
  Evaluation Commite: Carlos A. Olarte and Juan F. Diaz.
  Laureate Thesis Award. Jun 2006.
  The full thesis (Spanish)
  Colegio Americano, Cali-Colombia
 
 
     
  Publications  
 
  Thesis
 
  • Applying Concurrent Constraint Programming in Bioinformatics: An Exploratory Study. (Estudio exploratorio de la aplicación de la programación concurrente por restricciones en bioinformática). Pontificia Universidad Javeriana - Cali, 2006
  Conferences
 
  • "A Generic Framework to Model, Simulate and Verify Genetic Regulatory Networks". Joint work with Julian Gutierrez, Camilo Rueda and Carlos Olarte.
  Technical Reports
 
  • "Analisis de Tecnicas basadas en Restricciones para el Modelado de Redes de Regulación Genética y Rutas Metabolicas". Join work with Julian Gutierrez, Camilo Rueda and Carlos Olarte.
   
 
  Experence  
 
  Teaching Experence  
 
  • Introduction to programming. Teaching Assistant. 2004,2006
  • Distributed Data Bases. Teaching Assistang. 2004, 2005, 2006
  • Operating Systems. Teaching Assistang. 2005
  • Data Structures. Teaching Assistent. 2006
  Work Experence  
 
  • Research Assistant. Pontificia Universidad Javeriana Cali. May 2005 to December 2005. member Projects: "Desing a curriculum planning tool", "Using Constraint-Based process Calculi in Systems Biology and Security"
  • Research Assistant. Pontificia Universidad Javeriana Cali. January 2006 to August 2006. member project: "Analysis Constraint-Based Methods in Modelling of Gene Regulatory Networks and Metabolic Pathways", "Improving Mozart/Oz Constraints Services Using Gecode".
 
     
  Software  
 
Mozart-Oz Multiparadigm programing language  
Gecode A Constraint library  
ntccSim ntcc process calculi simulator  
 
     
  Other Activities  
 
  Groups
 
  Sport Teams
 
  • Valle del Cauca Table Tennis member from 1992 to 2004
  • Colombian Table Tennis Team member from 1995 to 2001 and 2004
  Short Sport Record
 
  • Gold medal in single, South American Competition Valencia-Venezuela U12 (1995).
  • Bronze medal in single of US Open Competition U14, (1996) U.S.A.
  • Gold medal in single Colombian National Competitions, U12 1995-Medellin ,U14 1997 Medellin, U18 1999 Medellin, U21 in Team 2004 Villeta.
  • Final 8 in Single, South American Competition, 2000 Villavicencio -Colombia
  • Bronze medal in Team, Juegos Bolivarianos (2001) Ecuador
 
     
  Contact Information  
 
Work address  
  Grupo AVISPA Facultad de Ingenieria Pontificia Universidad Javeriana Calle 18 No. 118-250 Av. Cañasgordas Cali, Colombia South America
Phone Number  
  (57-2) 321 8200 Ext. 422