#4 - Ameesh Shah: Formal Methods, Reinforcement learning, and finding a research direction

04/01/2024 1h 10min Temporada 1 Episodio 4

Listen "#4 - Ameesh Shah: Formal Methods, Reinforcement learning, and finding a research direction"

Episode Synopsis

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.

Ameesh's socials:
website: https://ameesh-shah.github.io/
twitter: https://twitter.com/ameeshsh
github: https://github.com/ameesh-shah

More episodes of the podcast Thinking About Computers