I am a Senior Undergraduate Student at CSE, IIT Delhi and my interests span formal methods, logic, programming languages and compilers.

I am currently working on approximate functional synthesis with provable guarantees under the supervision of Prof. Priyanka Golia at IIT Delhi.

Previously, I worked with Prof. Deepak Garg at MPI-SWS, Saarbrucken on building mixed circuit Secure MPC Protocols for Dishonest Majority. Before that, I worked as a research intern under Prof. Pierre Alliez at TITANE Team, INRIA Sophia Antipolis, on improving the Alpha Wrapping with an offset algorithm in the open-source CGAL Library, reducing its complexity by up to 50%.

In my free time, I indulge myself in travelling, reading books, watching movies and yoga.

News

[June '24] Attending PLMW@PLDI'24, Copenhagen!

[Feb '24] Upcoming summer intern under Prof. Deepak Garg in the Foundations of Computer Security Group at MPI-SWS, Saarbrücken, Germany

[Dec '23] Participated in the Jane Street SEE: IIT Edition 2023 at the Jane Street Hong Kong office.

[Dec '23] Attended the Winter Systems School on Program Analysis and Optimization, IITD.

[Aug '23] Attended The Cornell, Maryland, Max Planck Pre-doctoral Research School 2023 at MPI-SWS, Saarbrücken, Germany.

[May '23] Started working as a research intern at the TITANE Team, INRIA Sophia Antipolis, France on Computational Geometry Processing.

[April '23] Awarded the Charpak Lab Scholarship by IFI - Embassy of France to support my upcoming internship at INRIA Sophia Antipolis.

[Dec '22] Attended the Winter School on Digital Trust 2022 organized by ACM India and Trust Lab at IIT Bombay.

[Aug '22] Started working on the vdo-long short ads project with VDO.AI and IIM Ahmedabad.

[May '22] Volunteered as an academic resource person and evaluator for the 22^nd Asian Physics Olympiad (APhO '22) hosted by India at IAPT, Dehradun.

[Nov '21] Started my journey with CSE@IITD!