Software Research Seminar
— 5:00pm
Location:
Rashid Auditoirum 4401 (and Virtual)
-
Gates Hillman Centers and Zoom
Speaker:
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.
For More Information:
sunshine@cs.cmu.edu