Professor Alvin Cheung talks with Justin Gottschlich, Principal AI Scientist and Director/Founder of Machine Programming Research at Intel Labs, about his journey to Berkeley, machine programming, and verified lifting. Alvin and Justin are teaching a Machine Programming course at UC Berkeley, Fall 2021.