Santosh Nagarakatte
@santoshgnag@mathstodon.xyz
Joined: 04/28/2022
About Santosh Nagarakatte
Computer science professor at Rutgers CS. I build math libraries and verify software systems.
Lists
santoshgnag has no public lists
Timeline
santoshgnag has no activity yet