Anirudh Narsipur

A picture of Anirudh smiling

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.

You can reach me at anirudh_narsipur@brown.edu