
January 14, 2021
Sanjit Seshia and John Canny named ACM Fellows
CS Profs. Sanjit Seshia and John Canny have been named to the 2020 class of fellows of the Association for Computing Machinery (ACM) in recognition of their fundamental contributions to computing and information technology. Seshia, whose PhD thesis work at Carnegie Mellon on the UCLID verifier and decision procedure helped pioneer…