About

I am a doctoral candidate at Indiana University Bloomington, advised by Amr Sabry. I'm currently a visitor at the Computer Laboratory, University of Cambridge.

Research

I study type theories and programming languages, through the lens of category theory. I'm also interested in mathematical logic, constructive mathematics, and formalization.

Publications

My papers are listed on arXiv and dblp.

  • Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry: From Reversible Programs to Univalent Universes and Back. MFPS XIII, ENTCS 336, 2018.
  • Niki Vazou, Anish Tondwalkar, Vikraman Choudhury, Ryan G. Scott, Ryan R. Newton, Philip Wadler, Ranjit Jhala: Refinement reflection: complete verification with SMT. POPL 2018.
  • Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton: Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping. Haskell 2017.

Drafts

  • Ryan G. Scott, Vikraman Choudhury, Ryan R. Newton, Niki Vazou, Ranjit Jhala: Deriving Law-Abiding Instances. 2017.
  • Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry: Fractional Types. 2016.

Theses

  • Distributed Issue Tracking using Patch Theory. Masters Thesis, IIT Kanpur, 2015.

Notes

Selected Talks

  • 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.

Teaching

  • I-590: Technical Foundations of Cybersecurity
  • C-241 & H-241: Discrete Structures for Computer Science
  • C-211: Intro to Computer Science

Misc

Contact

I can be reached via email (alternative), or irc ([email protected]freenode), or smail at the following address:

Luddy Hall, 3025Q
700 N. Woodlawn Avenue
Bloomington, IN 47408
USA