Hi! I am a PhD student at RIT working with Prof. Arthur Azevedo de Amorim. I am interested in

• theorem provers,
• protocols and security,
• logic, and
• programming languages in general.

Before coming to RIT, I did my master’s at Chennai Mathematical Institute and then worked at IIT Gandhinagar for a year, mostly doing formal methods.

For a fun fact, ask me (or Jeremy) where Lady Gaga got married.

Have we met?

I have been to

• OPLSS 2026, where we had too much fun.
• PLMW@POPL 2026
• Upstate PL 2025

I will be at Upstate PL 2026.