Dr Julian Gutierrez
Departmental Lecturer in Computer Science
About
Dr Gutierrez researches theoretical computer science and the foundations of artificial intelligence. In particular, he is interested in logic, games, and concurrency.
Expertise
- Artificial intelligence
- Formal verification
- Games
- Semantics
- Model checking
Selected publications
Languages
English