Santosh Nagarakatte
@santoshgnag@mathstodon.xyz
Rejoint: 28/04/2022
Informations Santosh Nagarakatte
Computer science professor at Rutgers CS. I build math libraries and verify software systems.
Listes
santoshgnag n'a pas de liste publique
Timeline
santoshgnag n'a encore aucune activité