Computer Science Events

Ongoing

• CS Tea Talk: Q&A Event for Prospective Majors • Feb 23 - Feb 23 Olin 304, 306, 308
• CS Tea Talk - "Do What I want, not what I say: Proving software acts according to plan" • Feb 28 - Feb 28 Olin 329
• 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 • Feb 28 - Feb 28 Anderson 329
• Computer Science Dept. Winter Comps Gala • Mar 2 - Mar 2 Anderson Atrium, Olin 141, Olin 149, Anderson 329

February 2023