Monday, August 17, 2026 4:00 pm
-
5:00 pm
EDT (GMT -04:00)
PhD Seminar • Formal Methods • Counterexample Guided Abstraction and Refinement in Dash Models
Please note: This PhD seminar will take place in DC 2564.
Aditya Shankar Narayanan, PhD candidate
David R. Cheriton School of Computer Science
Supervisor: Professor Nancy Day