This annual series showcases outstanding researchers, scholars and thinkers in the field of computer science and related disciplines, and gives them a forum to present their views and ideas to students, faculty, and the interested public.
2026–2027 Distinguished Lecture Series
Nikolaj Bjørner
Partner Researcher
Microsoft Research
The RiSE of Rigorous Agentic Software Engineering
Tuesday, November 17, 2026
1:30 p.m.
Hybrid: DC 1302 | Online distinguished lecture