Anirudh Narsipur

Hi, I'm Anirudh.

I'm currently pursuing a Master's in Computer Science at Brown University (graduating May 2025). Before this, I graduated with a B.Sc. (Honors) in Computer Science-Mathematics from Brown. I received the Senior Prize in Computer Science awarded to the top graduating seniors in the department.

I'm a member of the ATLAS Research Group at Brown where I'm advised by Nikos Vasilakis. My work focuses on using formal methods to better understand shell programs. You can find out more by reading my undergraduate thesis. Apart from programming languages/formal methods, my main academic interest is in Computational Biology. I previously was a member of the Fairbrother Lab at Brown where I worked with Deep Learning models to better understand splicing.

I spent two summers interning at the Automated Reasoning Group at Amazon Web Services (AWS). My work there focused on building software infrastructure to deploy SAT/SMT solvers at cloud scale as well as verifying solver results using proof checkers.

I'm looking for full-time opportunities starting June 2025, with a focus on technical software roles, particularly backend and systems programming. I'm also excited about industry research positions where I can continue to build on my academic work in formal methods and computational biology.

You can reach me at anirudh_narsipur@brown.edu