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 the area of satisfiability modulo theories (SMT) and SMT-based verification, and who has led the development of technologies for cyber-physical systems education based on formal methods, was cited "for contributions to formal verification, inductive synthesis, and cyber-physical systems."  Canny, who has explored roofline design for machine learning, improved inference and representations for deep learning, and is best known for creating the widely used Canny edge detector, was cited "for contributions in robotics, machine perception, human-computer interaction, and ubiquitous computing."  Prof. Emeritus Manuel Blum (now at Carnegie Mellon) was also among the 95 scientists inducted into the 2020 class who represent the top 1% of ACM members.