I am a Computer Science and Engineering undergraduate at IIIT Hyderabad with interests in machine learning, formal methods, distributed systems, and database systems. Currently, I am conducting research at the Software Engineering Research Center (SERC), IIIT Hyderabad, on applying machine learning techniques to automated theorem proving. I enjoy building systems-oriented and AI-driven projects, ranging from database engines and distributed storage systems to NLP and quantitative finance applications. I am particularly interested in the intersection of research and software engineering, where theoretical ideas can be translated into practical tools and systems.