I am a 5th year PhD candidate in Computer Science at the University of Toronto, working in the area of Artificial Intelligence under the supervision of Prof. Sheila McIlraith at the Knowledge Representation and Reasoning group. I am also an affiliated student with the Vector Institute for Artificial Intelligence. I proudly received one of the fifteen Generation Google 2017-18 Scholarships awarded worldwide.
I am interested in sequential decision-making in discrete dynamic systems. My research focuses on automatic construction of programs that tell the agent what to do in order to satisfy reachability objectives, safety and liveness constraints, and other complex temporally extended objectives. My techniques lie at the intersection of Reactive Synthesis, AI Planning, and Reinforcement Learning. My work has been published at first-class conferences in AI such as IJCAI, AAAI, ICAPS, and KR.
In the past, I studied a MSc in Artificial Intelligence at the Universitat Pompeu Fabra, in Spain, under the supervision of Prof. Hector Geffner. Previously, I studied a MSc-level Degree in Mathematics, and a MSc-level Engineering Degree in Telecommunications, following a honors program (CFIS) at the Universitat Politecnica de Catalunya.