I developed web interfaces as a Web Development Intern at Oasis Infobyte, and later designed prompts and reviewed AI-generated code for front-end tasks at Outlier AI.
For my Glass-Box AI Tutoring System bachelor thesis project, I developed a neuro-symbolic tutor that generates and verifies Natural Deduction proofs. I also built a validation pipeline to detect proof errors and implemented automated proof correction using rule-based methods and Lean theorem proving.
I built a University Event Management Application with role-based access control and approval workflows, and designed RESTful APIs for event and user interactions. My projects use React, Node.js, Express, and MongoDB.
