Prof. Patrick Cousot

Digital Library

ACM Fellows

USA - 2020

citation

For contributions to programming languages through the invention and development of abstract interpretation

Press Release