Santosh Nagarakatte
LightNews LightNews
santosh-nagarak.bsky.social
Santosh Nagarakatte
@santosh-nagarak.bsky.social
530 followers 260 following 18 posts
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
Posts Replies Media Videos
santosh-nagarak.bsky.social
Celebrating the class of 2025 at the School of Arts and Sciences convocation. #Rutgers #RutgersCS
May 21, 2025 at 12:13 AM
santosh-nagarak.bsky.social
December 6, 2024 at 8:12 PM
santosh-nagarak.bsky.social
My PhD student Sehyeok Park presenting his work in the RLIBM project at NJPLS #NJPLS
December 6, 2024 at 7:58 PM
santosh-nagarak.bsky.social
Subset of my PhD students attending NJPLS at Cornell Tech #NJPLS
December 6, 2024 at 6:54 PM
santosh-nagarak.bsky.social
Cool work on detecting non-termination bugs at scale. #NJPLS
December 6, 2024 at 4:59 PM
santosh-nagarak.bsky.social
Had a great time meeting former Rutgers CS colleague Ricardo Bianchini at Microsoft Research today. #RutgersCS
November 21, 2024 at 2:42 AM