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

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

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

Two CS grad students talk to other researchers about grad school and anything else.

Note: Please excuse any sniffling or snorting, Lisa has Tourette's and we haven't figured out a good workaround yet.

Technology

Two CS grad students talk to other researchers about grad school and anything else. Note: Please excuse any sniffling or snorting, Lisa has Tourette's and we haven't figured out a good workaround yet.

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

Sign up to save your podcasts

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

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