February 2023
Tue 28
- 3:00pm CS Tea Talk - "Do What I want, not what I say: Proving software acts according to plan" - 1h 29m
- 3:30pm CS Tea Talk: "Do what I want, not what I say: Proving software acts according to plan". Will Leeson is a Ph.D. candidate in the Department of Computer Science at the University of Virginia. His research is focused on improving software engineering tools by replacing human-designed heuristics with machine learning models which leverage rich graph representations. His work has been published at TACAS and is to appear at ICSE 2023. He has been awarded the Outstanding Teaching Award for his teaching in the Department of Computer Science at the University of Virginia - 1h
March 2023
Thu 2
- 3:30pm Computer Science Dept. Winter Comps Gala - 2h 30m
Subscribe: Google Calendar | iCal/Desktop
Go to main Campus Calendar →
2025 Winter Term begins January 6