Professor Santosh Nagarakatte was highlighted in the June 2025 edition of Communications of the ACM for his work on his pioneering tools that bring formal verification to everyday programming. Through innovations like Alive, a tool that verifies compiler optimizations, he’s working to make safe, secure, and reliable computing accessible for all developers.
To read the entire highlight, click here.
Santosh Nagarakatte
Rutgers is an equal access/equal opportunity institution. Individuals with disabilities are encouraged to direct suggestions, comments, or complaints concerning any
accessibility issues with Rutgers websites to or complete the Report Accessibility Barrier / Provide Feedback form.
Copyright ©, Rutgers, The State University of New Jersey. All rights reserved. Contact webmaster
