Formal Methods, Specification, Verification, Software Engineering, Social Networks
Teaching activities:
-
Software Structures for User Interfaces
-
Requirements Engineering
-
Object Oriented Programming (undergraduate)
-
Data Structures and Algorithms (undergraduate)
-
Formal Software Development
PhD in Computer Science, University of Paris
Formerly: Assistant Professor, Pontificia Universidad Javeriana, Colombia
Formerly: Research Associate, University of York, UK