Julian Gutierrez

Julian Gutierrez

Visiting Lecturer

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 Oxford University Visiting Lecturer in the Computer Science Department 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