I am a Research Associate in the FATA section at University of Glasgow. Previously, I was at the Computer Laboratory, University of Cambridge, and before that, I was a PhD student at Indiana University Bloomington.
I study the mathematical foundations of computation, through an algebraic lens. My research spans programming languages, type theory, category theory, logic, semantics, constructive mathematics, and formalisation.
My papers are listed on arXiv and dblp.
Symmetries in Reversible Programming. Logic and Semantics Seminar, CL, Cambridge. May 2022.
Weighted Sets and Modalities. SYCO 8, Tallinn, Estonia. Dec 2021.
Free Commutative Monoids in HoTT. Logic and Semantics Seminar, CL, Cambridge. Nov 2020.
Recovering Purity with Comonads & Capabilities. ICFP, Aug 2020.
Recovering Purity with Comonads & Capabilities. Midwest PL Summit 2019, Purdue University. Sep 2019.
The finite-multiset construction in HoTT. HoTT 2019, CMU. Aug 2019.
Retrofitting Purity with Comonads & Capabilities. Logic and Semantics Seminar, CL, Cambridge. May 2019.
Beth Semantics. Proof Theory and Constructive Mathematics Seminar, IU. Dec 2018.
Automorphisms of ๐ยน. PL Wonks, IU. Oct 2018.
Homotopy theoretic aspects of Reversible Computing. PL Wonks, IU. Sep 2017.
Mathematical Models of Resource-Conscious Computation. PhD Thesis, Indiana University, 2022.
Distributed Issue Tracking using Patch Theory. Masters Thesis, IIT Kanpur, 2015.
At Cambridge, I supervise
At IU, I've taught
I'm part of PL Wonks at IU, and I helped run the Type Theory Reading Group.
I was a Research Assistant in the IU Parfunc group led by Ryan Newton.
I have been a Google Summer of Code participant, as a student and a mentor for the Gentoo Foundation.
I'm involved with Navya, HackCave and the IITK-NYC Office.
I can be reached via email (alternative), or irc (vikraman@freenode), or smail at the following address:
307, Sir Alwyn Williams Building
University of Glasgow
Glasgow G12 8RZ
Scotland
UK