Santosh Nagarakatte
Professor
Rutgers University
United States
Has grant
This profile is automatically generated from trusted academic sources.
Google Scholar
.
ORCID
.
How do Turkish students reach out?
Sign in for free to see their profile details and contact information.
Contact this professor
Research Interests
Algebra
Number Theory
Computational Mathematics
Optimization Algorithm
Mathematical Programming
Finite Difference
Trigonometry
Ask ApplyKite AI
Recent Grants
Grant: Close
SHF:Small:Techniques for Generating Correctly Rounded Math Libraries
Open Date: 2021-06-01
Close Date: 2024-05-31
Grant: Close
FMitF: Track I: Formally Verified Sandboxing for Packet-Processing Programs
Open Date: 2020-10-01
Close Date: 2024-09-30
Grant: Close
FMitF: Track II: Automated Verification for Assembly Implementations of Cryptography Libraries
Open Date: 2019-08-01
Close Date: 2021-01-31
Grant: Close
SHF: Small: Formalisms, Implementations, and Verification Procedures for Alternatives to Floating Point
Open Date: 2019-07-01
Close Date: 2022-06-30
Grant: Close
PLDI 2015 Travel Support
Open Date: 2015-06-01
Close Date: 2016-05-31
Articles6
Collaborators2
Mridul Aanjaneya
Assistant Professor
Rutgers University
Jay Lim
Lecturer
-
How do Turkish students reach out?
Sign in for free to see their profile details and contact information.