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