Julian Gutierrez

Julian Gutierrez

Associate Member

Themes:

• Artificial Intelligence and Machine Learning
• Automated Verification

Completed Projects:

• RACE

Interests

Theoretical Computer Science and Foundations of AI.

In particular, I am interested in logic, games, and concurrency. 

Biography

I am an Associate Member at the Computer Science Department, University of Oxford and a Lecturer at Monash University

I did a 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).

You can find more information about my work in my Monash University homepage. 

See also

• Personal webpage
• Publications

Past Students