León Illanes

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

Photograph of León

I am a PhD student in the Knowledge Representation Group at the University of Toronto. My supervisor is Sheila McIlraith.

You can get my CV here (last updated on October 2019).

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 did my undergrad in Computer Engineering and MSc in Computer Science at Pontificia Universidad Católica de Chile. My master's degree was supervised by Jorge Baier.