Alberto Camacho
Alberto Camacho
PhD Candidate
mailing address
Dept. of Computer ScienceUniversity 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
- 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
Press Coverage
2018, Jan 19. Environmental Monitor: University of Toronto Doctoral Student Sees Environmental Monitoring Future in Internet of Things (PDF)
2017, Aug 28. UofT News: U of T Computer Science Graduate Students Receive Prestigious Academic Honours from Google (PDF)
2016, Winter. Environmental Monitor: Drone River Project
2015, Jun 29. UofT News: This drone just wants to help protect Canada's rivers, lakes (PDF)
2015, Jun 30. Phys.org: How emerging technologies can monitor environment, prevent disasters (PDF)
2015, Aug 13. Environmental Monitor: Drone River Project Uses Artificial Intelligence To Advance Automated Monitoring (PDF)
2015, Aug 14. UofT News: Project Drone River: a crossroad between human efforts and artificial intelligence (PDF)