PL/FM/SE Seminar Series: Dr. Subhajit Roy, "Bridging Logic and Language: Program Verification in the LLM Era."
Oct 21, 2026 1:00 pm
2406 Siebel Center
- Sponsor
- Siebel School of Computing and Data Science
- Speaker
- Dr. Subhajit Roy
- Originating Calendar
- Siebel School Speakers Calendar