Manish Acharya

Hello there 👋. I am a fourth-year undergraduate student at Vanderbilt University, pursuing a double major in Computer Science and Mathematics.

I am currently conducting research with Prof. Mark Ellingham on structural graph theory, focusing on proving and refining bounds on pathwidth under forbidden minors and their algorithmic implications. In the SOL Lab with Prof. David Hyde, I study streaming and sublinear algorithms for dynamic geometric data, including time-varying simulation meshes, under resource constraints. I have also worked in the MIND Lab with Prof. Yu Huang and Yifan Zhang on neuro-symbolic methods for mathematical reasoning in large language models.