PHI - Content Management System

Last Name López Acosta

Given Name: Hugo Andrés

Position: Research Assistant

Institution: Pontificia Universidad Javeriana - Cali(website)

Department: AVISPA Research Group. Engineering Department (website)

Office Address: Calle 18 No. 118-250 Av. Cañasgordas, Cali, Colombia.

Office Telephone: (572)-3218200 ext. 422

Cellphone: (57300)-6185326

Email: halopez */*AT*/* puj.edu.co

Url: http://hugolopez.phi.com.co

Research Interest

Education

Pontificia Universidad Javeriana - Cali.(website)
Bachelor Degree in Computer Science, From January 2000 to December 2005.
Elective Courses Taken:

• Formal Models of Concurrency. Frank D. Valencia
• Foundations of Constraint Programming. Camilo Rueda

Thesis:
"Using Process Calculi to Model and Verify Security Properties in Real Communication Protocols". Supervised by Camilo Rueda and Frank Valencia.

Colegio De la Salle - Pereira.(website)
High-School Diploma with emphasis in Mathematics, December 1999.

Publications

Thesis :

• "Using Process calculi to model and verify secuirty properties in Real communication Protocols". Pontificia Uiversidad Javeriana - Cali, 2006.(pdf)

Peer Reviewed Papers :

• "Formally Reasoning About Security Issues In \P2p Protocols: A Case Study" by A. Aristizabal, H. Lopez, C. Rueda & F. Valencia. In Proceedings of TFIT 2006. March 2006. (pdf)
  

Newsletter Papers:

• " Using a Declarative Process Language for P2P Protocols" by A. Aristizabal, H. Lopez, C. Rueda. Association for Logic Programming Newsletter Digest, Vol. 18, No. 4, Nov. 2005. (html) (pdf)
  

Technical Reports:

• "Modelamiento de Problemas de ciencia y tecnología usando Cálculos de Procesos". AVISPA Research Group. June 2005. Engineeriing Faculty. Pontificia Universidad Javeriana-Cali. [In Spanish]
• "The Challege of the Modelling collaborative protocols using SPL " AVISPA Research Group. Feb 2006.
• "Modelamiento de Protocolos de Seguridad Temporal y Listas negras usando SPL" AVISPA Research Group. Feb 2006 (pdf [In Spanish])
  

Presentations:

• "Formally Reasoning About Security Issues In \P2p Protocols: A Case Study". In the Third Taiwanese - French Conference on Information Technology. Nancy, France. March 29, 2006.(pdf)
• "Using Process calculi to model and verify secuirty properties in Real communication Protocols Thesis Disertation. Pontificia Universidad Javeriana - Cali, Colombia. January 25, 2006.
  

Experience

Teaching Experience

• Introduction to Programming. February 2006 - Current. First year course on Engineering. Teaching Assistant. Professor: Andres Becerra. Pontificia Universidad Javeriana - Cali.
• Software Engineering. June 2004- December 205. Third year course on Computer Science. Teaching Assistant. Professor: Gabriel Tamura. Pontificia Universidad Javeriana - Cali.
  
• Computer Graphics. January 2005 - December 2005. Fifth year course on Computer Science. Teaching Assistant. Professor: Andres Navarro. Pontificia Universidad Javeriana - Cali.
• Intenet Programming. January 2005 - June 2005. Third year course on Computer Science. Teaching Assistant. Professor Antal Buss. Pontificia Universidad Javeriana - Cali.

Work Experience

• Research Assistant. Pontificia Universidad Javeriana Cali. January 2005 - January 2006. Part of the project: "COCOS: Constraints and Concurrency in Security" Senior Researcher: Frank Valencia and Camilo Rueda.
• Research Assistant. Pontificia Universidad Javeriana Cali. January 2005 - January 2006. Part of the project: "Using Proces Calculi in Security and Systems Biology(Preliminary Studies)" Senior Researcher: Camilo Rueda. Co-writer of proposals and teoretical extension of Process Calculi in order to complete model real communication protocols. With the collaboration of Frank Valencia (CNRS/Ècole Polytechnique de Paris)
  
• Web Programmer, Independant. February 2003 ­ - Current. Design and Implementation of web solutions, b2b & B2C applications and intranets. Design of databases and graphic user interfaces.
  
• Web Developer, Sistemas Telemáticos - SISTEL . February 2003 ­ - November 2003. Design and Implementation of web solutions, b2b applications and intranets. Design of databases and graphic user interfaces.
  
• Web master, Sector Cultural, Pontificia Universidad Javeriana - Cali. January 2002 - January 2003. Design and Implementation of URBE Social/Cultural web portal.
  

Other Activities

Groups and Associations

• AVISPA Research Group. 2002 - Current.
• Empoderados, Cali nueva generación. 2004 - Current.
• Rotaract Cali San Fernando. 2000 - 2001.
• Red Nacional de Iniciativas por la Paz y contra la guerra REDEPAZ. 1999.
• Fundacion Juvenil de la Cultura. 1998-1999.

Sport Teams.

• "Club del Comercio". Swimming team. 1997 - 1999
  
• "Halcones Marinos". Swimming team. 1997 - 1997.
• "Club Pio XII". Swimming team. 1989 - 1995.