• Contact Module: Undergraduate Contact
• 
• Santosh Nagarakatte
• Professor, Undergraduate Program Director
• Website: Personal Website
• Email Address:
• Address:
  Dept. of Computer Science
  Rutgers University
  110 Frelinghuysen Road
  Piscataway, NJ 08854, USA
• Phone: (848)445-8407
• Research Group(s):
  Computer Architecture
  Computer Security
  High-Performance Computing
  Numerical Methods
  Programming Languages And Compilers
• Linked News Items:
• Adarsh Yoga wins 3rd place in PLDI 2015 SRC.
• Alive paper appears as CACM's Research Highlights for February 2018
• CAREER award for Santosh Nagarakatte
• CGO 2022 Distinguished Paper Award for the Paper by Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, and Santosh Nagarakatte
• Congratulations to our 2021-22 CS Award Winners
• David Menendez and Prof. Santosh Nagarakatte’s paper wins Best Paper Award at PLDI 2015
• David Menendez's Dissertation selected to receive the ACM SIGPLAN John C. Reynolds Dissertation Award
• Distinguished paper at ICSE 2016
• Intel grant for Santosh Nagarakatte
• Intel Memory Protection Extensions.
• International Computing Society Recognizes Prof. Santosh Nagarakatte as a 2023 ACM Distinguished Member
• Jay Lim's Dissertation Awarded the ACM SIGPLAN John Reynolds Outstanding Dissertation Award
• Nagarakatte's paper selected as SIGPLAN Research Highlights Paper
• New NSF grant on hardware-support for security
• NSF sub-award for Santosh Nagarakatte.
• PhD student David Menendez's ICSE 2016 paper selected as one of Computing Review's Notable Books and Articles of 2016
• PLDI 2015 Distinguished Paper
• PLDI 2021 Distinguished Paper Award to Jay Lim and Prof. Santosh Nagarakatte's paper
• POPL 2022 Distinguished Paper Award for Prof. Santosh Nagarakatte and Jay Lim's paper
• Prof. Santosh Nagarakatte and David Menendez's paper selected as CACM Research Highlights Paper!
• Prof. Santosh Nagarakatte awarded Intel Grant
• Prof. Santosh Nagarakatte awarded Intel Grant for 2017-2018
• Prof. Santosh Nagarakatte receives another Intel Research Gift for his RLIBM Project
• Prof. Santosh Nagarakatte receives Intel Research Gift for the RLIBM Project
• Prof. Santosh Nagarakatte receives NSF Grant for his project on Verification of Cryptography Libraries
• Prof. Santosh Nagarakatte receives NSF Grant for his research on Posits
• Professor Santosh Nagarakatte receives third Intel Research Gift for the RLIBM Project
• Professor Srinivas Narayana and Professor Santosh Nagarakatte Awarded the National Science Foundation’s Formal Methods in the Field Track II Award
• Professors Santosh Nagarakatte and Srinivas Narayana awarded an eBPF Foundation Grant
• Profs. Mridul Aanjaneya and Santosh Nagarakatte awarded NSF grant for their project on Formally Certified Low-dimensional Linear Programs
• Profs. Santosh Nagarakatte and Mridul Aanjaneya awarded NSF Grant for their Project on Correctly Rounded Math Libraries
• Profs. Srinivas Narayana and Santosh Nagarakatte receive NSF Formal Methods in the Field Grant
• Rutgers participating in Northeast Big data hub.
• Santosh Nagarakatte awarded Google grant
• Santosh Nagarakatte awarded Intel grant
• Santosh Nagarakatte highlighted in June 2025 edition of Communications of the ACM
• Office: Core 328
• Description:

  ---