Data platforms and analytics
Video
Program Synthesis Meets Machine Learning
We give a tutorial overview of program synthesis, from its first formulation by Church in 1957, through its pragmatic evolution through sketching and programing-by-examples, and compare program synthesis with supervised machine learning. We then present…
Video
Academic Research Summit 2019 on Data Science and AI – Welcome Session
Academic Research Summit 2019 introduction and welcome.
Podcast
Building contextually intelligent assistants with Dr. Paul Bennett
Episode 59, January 16, 2019 – Dr. Bennett brings us up to speed on the science of contextually intelligent assistants, explains how what we think our machines can do actually shapes what we expect them…
Publication
Open data using Cloud infrastructure
Publication