León Illanes

lillanes [at] cs [dot] toronto [dot] edu

Photograph of León

I am a PhD candidate in Computer Science at the University of Toronto and the Vector Institute. My supervisor is Sheila McIlraith.

You can get my CV here (last updated on August 2020). You can also find me on GitHub or LinkedIn.

Department of Computer Science
University of Toronto
40 St. George Street, Rm. 4283
Toronto, Ontario CANADA M5S 2E4


My interests are in the areas of Artificial Intelligence, Combinatorial and Heuristic Search, and Automated Planning. I have done some research on search under real-time constraints, and I am currently interested in the application of abstraction techniques to AI Planning.

My research focuses on the explicit use of abstract solutions to guide search in expressive planning settings, and leverages ideas and technologies that were first developed for Model Checking, Software Verification, Program Synthesis, and Nondeterministic Planning. Recently, I have been interested in Reinforcement Learning and in how traditional AI Planning techniques can be used to address issues in this space.

Academic Bio

I've been a PhD student at the University of Toronto since 2014. Before that, I got my undergrad and master's degrees in Computer Engineering at the Pontificia Universidad Católica de Chile. My master's degree was supervised by Jorge Baier.