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.
Courant's Computer Science Department is proud to announce the creation of an exciting new Master of Science program on Computing, Entrepreneurship and Innovation (MS-CEI) in collaboration with the NYU Stern School of Business.