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.
{n, plural, =1 {List} other {Lists}}
{username} has no public lists
Timeline
{username} has no activity yet