Ph.D., University of Edinburgh, 2011
University of Oxford, Computer Science Department
Wolfson Building, Parks Road, Oxford OX1 3QD, UK.
Tel: +44(0)1865 273862
Email: Julian.Gutierrez at cs.ox.ac.uk
I did my PhD in the University of Edinburgh (Laboratory for Foundations of Computer Science)
and a postdoc in the University of Cambridge (Computer Laboratory).
Now, I am a researcher in the University of Oxford.
Mathematical logic, games, and concurrency; in particular:
- Semantics and mathematical foundations of concurrent computation.
- Applications of logic and games in theoretical computer science.
- Expressiveness and verification of models for concurrency.
- Fixpoint, modal, and temporal logics; Partial order models.
Research and Teaching Experience
Updated 27 Apr. 2014