
[43] Swarat Chaudhuri - Logics and Algorithms for Software Model Checking
The Thesis Review
00:00
Evolving Objective Functions in Academic Pursuits
This chapter explores the transformation of motivations behind research objectives during a PhD journey. It highlights the shift from personal enjoyment and theoretical achievements to a focus on practical contributions, especially in AI safety and real-world applications.
Transcript
Play full episode