Patrick Cousot awarded John von Neumann Medal

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!