• Santosh Nagarakatte

The Rutgers University Computer Science Department is proud to announce Professor and Undergraduate Program Director, Santosh Nagarakatte has been selected as a 2023 ACM distinguished member for his work in novel techniques for building formally verified compilers, correct math libraries, and hardware-software interfaces.   All the 2023 inductees were selected by their peers for work that has advanced computing, fostered innovation across various fields, and improved computer science education.

“The ACM Distinguished Members program recognizes both career achievement as well as participation in ACM,” said ACM President Yannis Ioannidis. “Many of these new 52 Distinguished Members have been selected for important technical achievements, while others have been chosen because of their service and/or work in computer science education, which lays the foundation for the future of our field. With the Distinguished Member designation, ACM also highlights how individual computing professionals maintain the health and growth of a global scientific society through membership and active engagement with their colleagues.” 

ACM (Association for Computing Machinery) is the world's largest educational and scientific computing society, delivering resources that advance computing as a science and a profession. ACM provides the computing field's premier Digital Library and serves its members and the computing profession with leading-edge publications, conferences, and career resources.

When asked about the recognition, Professor Nagarakatte shared, “I am honored to be selected as a 2023 ACM Distinguished Member. I want to thank all my mentors, collaborators, and students at Rutgers CS and elsewhere.”

To learn more about Santosh Nagarakatte work, visit: Nagarakatte, Santosh (rutgers.edu)

To learn more about the ACM Designation, visit: https://www.acm.org/media-center/2024/january/distinguished-members-2023