GradNova

S

Santosh Nagarakatte

Professor

Computer Science, Rutgers, The State University of New Jersey

Research Interests

Formal Methods in Verification

Numerical Methods and Algorithms

Parallel Computing and Optimization Techniques

Security and Verification in Computing

Software Testing and Debugging Techniques

Academic Metrics

Links

Grants