This edition is archived.
Go back to the current edition
The legacy of Professor Emeritus Edmund Clarke
Turing Award winner and model-checking pioneer Edmund Clarke passed away in December 2020 due to COVID-19. At Carnegie Mellon, Clarke taught courses on...
Datamatch at CMU
Datamatch is returning to Carnegie Mellon University this week to connect students on Valentine's Day. The annual dating survey, which started at...