Alberto Camacho


Alberto Camacho

PhD Candidate

mailing address

Dept. of Computer Science
University of Toronto
10 King's College Road, Rm.3302
Toronto, Ontario M5S 3G4 Canada

Research Bio

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.

Check out SynKit!

a web-service and API for rapid LTL and LTLf synthesis

Best System Demonstration Award at ICAPS-18

Recent Awards

Best System Demonstration at ICAPS-18
  • 9 participants including systems from IBM, Syft, and NASA
  • based on popular vote among all conference participants

Generation Google Scholarship, 2017-18
  • 15 scholarships awarded worldwide
  • based on leadership and academic merit

50th Anniversary Graduate Scholarship, 2016
  • 2 awards given by the Dept. of Computer Science at UofT
  • based on academic merit and research excellence

Microsoft //oneweek Hackathon, 2016
  • 2nd Finalist in the Millenials category
  • 16,174 hackers. 3,834 projects. 47 venues.

DCS Best Teaching Assistant Team, 2015-16
  • CSC384: Intro. to Artificial Intelligence

Student Life Recognition, 2016
  • awarded by the University of Toronto
  • for contributions to the University of Toronto and active participation in campus life