I'm Rahul Chhabra (he/they), a student of Information Technology at Indian Institute of Information Technology, Allahabad, graduating in 2025.
My primary interests are best described by "computational trinitarianism" - logic, category theory, dependent type theory (especially cubical ones), and the development and engineering of proof assistants.
Much of my work right now is on my realizability project - a formalisation of categorical realizability from the ground up in Cubical Agda.