Ph.D., University of Edinburgh, 2011
University of Oxford, Computer Science Department
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
Tel: +44(0)1865 283670
Email: Julian.Gutierrez at cs.ox.ac.uk
I am an Oxford University Lecturer in the Computer Science Department.
I did my PhD in the University of Edinburgh (Laboratory for Foundations of Computer Science)
and was a postdoctoral researcher in the University of Cambridge (Computer Laboratory) and
in the University of Oxford (Department of Computer Science).
Theoretical Computer Science and Foundations of AI: Logic, games, and concurrency; in particular:
- Semantics and mathematical foundations of concurrent computation.
- Logic and games in computer science and artificial intelligence.
- Expressiveness and verification of models for concurrency.
- Fixpoint, modal, and temporal logics; Partial order models.
Updated 07 Oct. 2015