
[43] Swarat Chaudhuri - Logics and Algorithms for Software Model Checking
The Thesis Review
00:00
From Academia to AI: A PhD Journey
This chapter narrates the speaker's transition from a structured academic background to the field of computer science, emphasizing their focus on formal verification and reasoning. It contrasts traditional programming methodologies with the complexities of real-world decision-making in artificial intelligence.
Transcript
Play full episode