Julian Gutierrez

Dr

Accepting PhD Students

20072020

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile

Biography

I am a Monash University Lecturer in the Faculty of Information Technology and a Visiting Lecturer in Computer Science at the University of Oxford. I did my PhD at the University of Edinburgh (Laboratory for Foundations of Computer Science) and was an ERC postdoctoral researcher at the University of Cambridge (Computer Laboratory) and the University of Oxford (Department of Computer Science). Before coming to Monash University, I was also a Computer Science Departmental Lecturer at the Oxford University Department of Computer Science. 

Useful links: Homepage Publications DBLP

Research interests

My research is interdisciplinary, at the intersection of Computer Science and Artificial Intelligence, and focuses on the study and development of logic, games, and verification techniques for concurrent, autonomous, and multi-agent systems. In particular, I am interested in: 

- Logic and games in artificial intelligence and theoretical computer science.

- Semantics and mathematical foundations of concurrent and multi-agent systems.

- Expressiveness and formal verification of models for concurrent computation.

- Mathematical/computational logic: e.g., Fixed-point, modal, and temporal logics.

- Automated synthesis, model checking, and formal verification techniques. 

Supervision interests

I am interested in supervising PhD/MSc/BSc students in Computer Science, Artificial Intelligence, or Mathematics, who want to work in any of my main areas of research (see Research interests and Research area keywords above). 

If you want to work under my supervision (PhD/MSc/BSc), send me an email. 

PhD opportunities: at the moment I have funding for PhD students. 

Education/Academic qualification

Informatics, PhD, University of Edinburgh

Computer Science, BEng, Pontificia Universidad Javeriana

Electronics, BEng, Pontificia Universidad Javeriana

External positions

Visiting Lecturer, University of Oxford

Research area keywords

  • Logic
  • Game theory
  • Multiagent systems
  • Concurrency theory
  • Formal verification
  • Semantics
  • Automated synthesis
  • Model checking
  • Automated verification tools

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

Multi-player games with LDL goals over finite traces

Gutierrez, J., Perelli, G. & Wooldridge, M., 26 Mar 2020, (Accepted/In press) In : Information and Computation. 104555.

Research output: Contribution to journalArticleResearchpeer-review

Cooperative concurrent games

Gutierrez, J., Kraus, S. & Wooldridge, M., 2019, Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems. Agmon, N. & E. Taylor, M. (eds.). Richland SC USA: International Foundation for Autonomous Agents and Multiagent Systems, p. 1198-1206 9 p. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS; vol. 2).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Equilibrium design for concurrent games

Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2019, 30th International Conference on Concurrency Theory. Fokkink, W. & van Glabbeek, R. (eds.). Saarbrücken/Wadern Germany: LIPIcsSchloss Dagstuhl – Leibniz Center for Informatics, 16 p. 22. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File

Nash equilibrium and bisimulation invariance

Gutierrez, J., Harrenstein, P., Perelli, G. & Wooldridge, M., 20 Sep 2019, In : Logical Methods in Computer Science. 15, 3, 49 p., 32.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File

On computational tractability for rational verification

Gutierrez, J., Najib, M., Perelli, G. & Wooldridge, M., 2019, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence . Kraus, S. (ed.). Marina del Rey CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 329-335 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Open Access
File
1 Citation (Scopus)