Hugo-Andrés López-Acosta

Hugo-Andrés López-Acosta

Postdoc

Richard Petersens Plads

Building: 324, 180

2800 Kgs. Lyngby

Denmark

Phone: 45253726

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

 

CV

Academic grades

Ph.D. in Computer Science, IT University of Copenhagen, 2012

MSc. Software development Technologies, IT University of Copenhagen, 2010

Ingeniero de Sistemas y Computación, Pontificia Universidad Javeriana-Cali. 2006

Languages

English, Spanish, Italian, Portuguese, Danish
View graph of relations

View all »

Prizes

(1)
Download as:
Download as PDF
Select render style:
ShortLong
PDF
Download as HTML
Select render style:
ShortLong
HTML
Download as Word
Select render style:
ShortLong
Word
Download as: To download, please limit the number of search results to 1,000 or less.

ID: 108734208