News & Events

IEEE John von Neumann Award

Patrick Cousot is the recipient of the IEEE John von Neumann medal, given "for outstanding achievements in computer-related science and technology". The medal citation states that he is being recognized "for introducing abstract interpretation, a powerful framework for automatically calculating program properties with broad application to verification and optimization." Congratulations!