Monday, June 28, 2021 – 3:30pm to 5:00pm
Rashid Auditoirum 4401 (and Virtual) Gates Hillman Centers and Zoom
EUNSUK KANG and JUSTINE SHERRY
Software Research Seminar
3:30 pm — Eunsuk Kang, Assistant Professor, Institute for Software Research
Automated Reasoning in Software Engineering: An Introduction
4:10 pm — Justine Sherry, assistant Professor, Computer Science Department
Research in Computer Systems
Zoom Participation. See announcement.
→ Talks will be in-person in Rashid Auditorium (GHC 4401).
→ The talks will also be broadcast over Zoom for remote participants.