#4 - Ameesh Shah: Formal Methods, Reinforcement learning, and finding a research direction
Ameesh is a PhD student at Berkeley working at the intersection of machine learning and formal methods, with particular focus on applications in cyber-physical systems, robotics, and program synthesis...
4 Tammi 20241h 10min
#0 - Shadaj Laddad: Programming Languages Research and PhD Life
A conversation with Shadaj Laddad. Shadaj is a computer science PhD student in the Berkeley Sky Computing Lab studying programming languages for distributed computation. Shadaj on Twitter: https://t...
4 Tammi 202432min
