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!
Congratulations to Sylvain Cappell, recipient of the 2018 AMS Award for Distinguished Public Service! Sylvain will officially receive the award on January 11, 2018 at the Joint Mathematics Meeting in San Diego.