Julian Gutierrez

Julian Gutierrez is a Lecturer at the University of Oxford's Department of Computer Science and an Associate Member of the same department. He holds a Ph.D. in Informatics from the University of Edinburgh (2011) and has held postdoctoral roles at the University of Cambridge and Oxford. His research focuses on theoretical computer science, artificial intelligence, logic, and concurrency, particularly in game theory, verification, and multi-agent systems.

• Education: Ph.D. in Informatics (University of Edinburgh, 2011), Engineering degrees in Computer Science and Electronics (Pontificia Universidad Javeriana, Colombia).

His research interests emphasize logic and games in AI, concurrency semantics, and verification of multi-agent systems. Key contributions include work on Nash equilibria, rational verification, and tool development for equilibrium analysis. He has authored over 15 papers in top venues like IJCAI, AAMAS, and CONCUR.

• Awards: Overseas Research Studentship Award, School of Informatics Scholar, multiple academic excellence distinctions, and INFIVALLE Scholarship.

He advises students in theoretical computer science and collaborates with the Avispa Research Group. His academic genealogy traces to Turing and Gauss through notable figures like Alan Turing and Alonzo Church.