AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Thesis Review
[43] Swarat Chaudhuri - Logics and Algorithms for Software Model Checking
Jun 28, 2022
Swarat Chaudhuri, an Associate Professor at the University of Texas, delves into the fascinating intersection of programming languages and machine learning. He discusses the evolution of formal verification and the integration of model checking within AI systems. The conversation highlights advancements in neurosymbolic programming, enhancing reliability in software. Swarat also provides insights on developing reusable modules and emphasizes the importance of practical contributions in research, especially in AI safety and real-world applications.
01:06:18
Episode guests
AI Summary
AI Chapters
Episode notes
Podcast summary created with Snipd AI
Quick takeaways
- Swarat Chaudhuri's research emphasizes the distinction between formal reasoning in programming and the uncertainty inherent in real-world reasoning.
- Chaudhuri discusses the integration of machine learning with formal methods to enhance software verification and the development of neurosymbolic systems.
Deep dives
Evolution of Research Interests
Swarat Chaudhuri's journey into research began with early exposure to academia, influenced by his parents who were professors. Initially drawn to neural networks, he pivoted to formal methods after advice from a mentor, shaping the trajectory of his academic career. His internships and undergraduate thesis solidified his interest in formal verification, leading to his PhD at the University of Pennsylvania. Though he felt certain about his focus during his PhD, he later recognized that his career path has spanned a diverse range of topics within computer science.
Get the Snipd
podcast app
Unlock the knowledge in podcasts with the podcast player of the future.
AI-powered
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode
Save any
moment
Hear something you like? Tap your headphones to save it with AI-generated key takeaways
Share
& Export
Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more
AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Discover
highlights
Listen to the best highlights from the podcasts you love and dive into the full episode