Hugo-Andrés López-Acosta

Hugo-Andrés López-Acosta

Postdoc

DTU COMPUTE
Department of Applied Mathematics and Computer Science

Technical University of Denmark

Richard Petersens Plads

Building 324, room 180

2800 Kgs. Lyngby

Home page
Personal website

Request a vCard via e-mail.

Profile
Publications
Activities
Loading

Profile

Keywords Distributed Computing | Program Semantics | Process Calculi

Ph.D. in Computer Science from the IT University of Copenhagen (2012).
MSc. in Software Development and Technologies from the IT University of Copenhagen (2010).

BSc. in Computer Science and Engineering from the Pontificia Universidad Javeriana (2006).

 

Area: Theory of Computation
Interests: (ACM - Computing Classification System 2012)
Theory of computation

Models of Computation ~ Concurrency
Semantics and reasoning ~ Program semantics Program verification
Operational semantics
Constraint and logic programming
Type theory

Software and its engineering
Constraint and logic languages

Security and privacy
Logic and verification 

Website:

http://www.lopezacosta.net