News & Events
2020 ACM Fellow
Patrick Cousot has been named a 2020 Fellow of the ACM, "for contributions to programming languages through the invention and development of abstract interpretation." Congratulations!
Patrick Cousot has been named a 2020 Fellow of the ACM, "for contributions to programming languages through the invention and development of abstract interpretation." Congratulations!