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

Update: 2024-01-04

Description

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

Comments

In Channel

Justin Wong: Generative AI, Crowdsourced Data, Video Arena

2024-10-1901:31:15

Natacha Crooks: Life as a Berkeley CS Professor

2024-08-1901:00:06

Justin Jaffray: Databases, Blogging, and Computer Science Communication

2024-07-0258:02

#16 - Leonid Grinberg: From Software Engineer to Lawyer

2024-05-2002:09:04

#15 - Ritwik Gupta: AI Policy and Impactful AI Research

2024-05-1101:15:43

#14 - Alok Tripathy: Supercomputing Research and Sports Analytics

2024-05-0801:28:33

#13 - Shm Almeda: Art & Computer Science, AI & Copyright, NFTs, and HCI

2024-03-2401:25:06

#12 - Shreya Shankar: HCI for ML engineers, Stanford, and the role of ChatGPT in education

2024-03-1601:01:45

#11 - Parker Ziegler: Cartography, HCI, PL, and doing a PhD after industry

2024-03-1444:20

#10 - Chung Min Kim: NeRF, 3D Vision, and Reasons to do a PhD

2024-03-0901:37:58

#9 - Ale Escontrela: Robotics, Reinforcement Learning, and Switching Focus Areas

2024-02-2601:07:26

#8 - Samyu Yagati: Security Research, Art, MIT, and Growing Up in the Bay Area

2024-02-1701:17:31

#6 - Ajay Rayasam: The World of Venture Capital and Research Startups

2024-02-0950:00

#7 - Tianjun Zhang: building LLM's that connect to the real world, gossiping about advisors, and pivoting research directions

2024-02-0701:14:47

#5 - Sam Arch: Databases, Grad Student Life, Carnegie Mellon, and Datalog

2024-01-2658:09

#3 - Jean-Luc Watson: Embedded Systems, the terror of graduation, and the grad student strike

2024-01-1501:26:00

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

2024-01-0401:10:50

#0 - Shadaj Laddad: Programming Languages Research and PhD Life

2024-01-0432:44

00:00

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

#box-pro-ellipsis-176573909593298{-webkit-line-clamp:2;}#4 - Ameesh Shah: Formal Methods, Reinforcement learning, and finding a research direction

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

Thinking About Computers

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