Anirudh Narsipur

Hi, I'm Anirudh.

I'm currenty based in the Bay Area after finishing a Master's in Computer Science at Brown University. 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.

At Brown, I was a member of the ATLAS Research Group at Brown where I was advised by Nikos Vasilakis. My work focused on using formal methods to better understand shell programs. You can find out more by reading our HotOS 2025 paper. Apart from programming languages/formal methods, my main academic interest is in Computational Biology. I 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@alumni.brown.edu