Research and Teaching Experience

University Lecturer
    University of Oxford. Computer Science Department.
    2015 – present.

ERC Post-Doctoral Researcher
    University of Oxford. Computer Science Department.
    Principal Investigator: Prof. Michael J. Wooldridge.
    2012 – 2015.

Tutor
    Automata, Logic and Games.
    University of Oxford.
    2013.

Research Associate
    University of Cambridge. Computer Laboratory.
    Principal Investigator: Prof. Glynn Winskel.
    2011 – 2012.

Tutor
    Programming Language Semantics and Discrete Mathematics.
    University of Cambridge.
    2011 – 2012.

Research Assistant
    University of Edinburgh. School of Informatics.
    Laboratory for Foundations of Computer Science (LFCS).
    Principal Investigator: Dr. Julian Bradfield.
    2010 – 2011.

Research Postgraduate Student (PhD)
    University of Edinburgh. School of Informatics.
    Laboratory for Foundations of Computer Science (LFCS).
    Thesis: On Bisimulation and Model-Checking for Concurrent Systems with Partial Order Semantics.
    Supervisors: Dr. Julian Bradfield and Dr. Ian Stark.
    Doctoral Committee: Dr. Julian Bradfield, Dr. Ian Stark, and Prof. Colin Stirling.
    Evaluation Committee: Dr. Richard Mayr and Prof. Mogens Nielsen.
    2007 – 2011.

Tutor
    Computation and Logic, School of Informatics.
    Mathematics for Informatics, School of Mathematics.
    University of Edinburgh.
    2008 – 2010.

Research Assistant
    Avispa Research Group. School of Engineering.
    Department of Sciences and Engineering of Computing.
    Pontificia Universidad Javeriana, Cali, Colombia.
    Project: Modelling Problems in Science and Technology with Process Calculi.
    Senior Researchers: Prof. Camilo Rueda and Dr. Frank D. Valencia.
    2005 – 2006.

Teaching Assistant
    In Computer Science:
        Artificial Intelligence
        Operating Systems
        Languages III: Algorithms and Complexity
        Languages I: Fundamentals of Programming
    In Electronics:
        Microprocessors
        Computer Architectures
        Digital Logic
    In Mathematics and Natural Sciences:
        Discrete Mathematics
        Calculus II: Integral and differential calculus
        Physics III: Electricity and Magnetism
        Physics I: cinematic and dynamic
    School of Engineering.
    Pontificia Universidad Javeriana, Cali, Colombia.
    2001 – 2005.