Santosh Nagarakatte

Santosh Nagarakatte is a Professor and Undergraduate Program Director in the Department of Computer Science at Rutgers University. His research focuses on hardware-software interfaces, compilers, formal verification, and numerical methods. He has contributed to projects like the RLIBM math library and verified eBPF ecosystems, emphasizing robustness and security in software systems.

Education: PhD in Computer Science from the University of Pennsylvania. His work has been recognized with awards including the ACM Distinguished Member (2023), NSF CAREER Award (2015), and multiple distinguished paper awards at top conferences like PLDI and POPL.

Research interests include compiler optimizations, verified compilers, memory safety, and high-performance computing. He has advised numerous PhD students and leads projects funded by Intel, NSF, and the eBPF Foundation. His lab focuses on practical formal methods and math library correctness.