About
I am a doctoral candidate at Indiana University Bloomington , advised by Amr Sabry . I'm currently a visiting researcher at the Computer Laboratory, University of Cambridge , working with Marcelo Fiore and Neel Krishnaswami .
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 .
Vikraman Choudhury, Neel Krishnaswami: Recovering Purity with Comonads and Capabilities . ICFP 2020.
Chao-Hong Chen, Vikraman Choudhury, Jacques Carette, Amr Sabry: Fractional Types: Expressive and Safe Space Management for Ancilla Bits . RC 2020, LNCS volume 12227.
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.
Selected Talks
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.
Theses
Distributed Issue Tracking using Patch Theory . Masters Thesis, IIT Kanpur, 2015.
Notes
Teaching
At Cambridge, I supervise
Discrete Maths
Semantics of Programming Languages
Denotational Semantics
Logic and Proof
Types
At IU, I've taught
B-561: Advanced Database Concepts
B-401: Fundamentals of Computing Theory
B-505: Applied Algorithms
I-590: Technical Foundations of Cybersecurity
C-343: Data Structures
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:
FE23, Computer Laboratory
William Gates Building
15 JJ Thomson Avenue
Cambridge CB3 0FD
UK