I am Pritam Choudhury. I am very excited to start a new phase of my academic career at IIT Kanpur. I have joined the CSE Department as an Assistant Professor. If you are a student here, come say hi!

My primary research interest is in type systems and programming language design (Google Scholar Profile). My research focuses on graded type systems and their applications. In my doctoral dissertation, I used graded type systems to analyze linearity and dependency in programming languages. Linearity and dependency analyses are particularly useful in memory management, language-based security, multi-stage compilation and code optimization. I completed my PhD at the University of Pennsylvania in the summer of 2023. After graduation, I taught as a Visiting Assistant Professor of Computer Science at Haverford College during the academic year 2023-24.

Before starting my PhD, I worked as an MPhil student in Advanced Computer Science at the University of Cambridge. My research there focussed on the constructive formalization of nominal sets in Agda. Before I got interested in Computer Science, I studied Electrical Engineering at the Indian Institute of Technology, Roorkee. My final year project was in detection of bad data and false data in power systems.

I am looking for enthusiastic students to do research with. I have two PhD positions available. If you are interested, please send me an email. Addr: firstname at iitk dot ac dot in
If you are an academic or industry professional and are interested in exploring collaborations with me, I would be happy to talk!

Publications (including latest drafts):

  1. Pritam Choudhury. 2023. Dependency and Linearity Analyses in Pure Type Systems. PhD Dissertation. University of Pennsylvania, US. (Dissertation)
  2. Pritam Choudhury. 2023. Unifying Linearity and Dependency Analyses. arXiv:2304.03175. (Preprint)
  3. Pritam Choudhury. 2022. Monadic and Comonadic Aspects of Dependency Analysis. Proc. ACM Program. Lang. 6, OOPSLA2, Article 172 (October 2022), 29 pages. (paper)(extended version)
  4. Pritam Choudhury, Harley D. Eades III, and Stephanie Weirich. 2022. A Dependent Dependency Calculus. In: Sergey, I. (eds) Programming Languages and Systems. ESOP 2022. Lecture Notes in Computer Science, vol 13240. Springer, Cham. (paper) (talk)
  5. Pritam Choudhury, Harley D. Eades III, Richard A. Eisenberg, and Stephanie Weirich. 2021. A Graded Dependent Type System with a Usage-Aware Semantics. Proc. ACM Program. Lang. 5, POPL, Article 50 (January 2021), 32 pages. (paper) (talk)
  6. Stephanie Weirich, Pritam Choudhury, Antoine Voizard, and Richard Eisenberg. 2019. A Role for Dependent Types in Haskell. Proc. ACM Program. Lang. 3, ICFP, Article 101 (August 2019), 29 pages. (paper) (talk)
  7. Pritam Choudhury. 2015. Constructive Representation of Nominal Sets in Agda. Master’s thesis. University of Cambridge, UK. (Dissertation) (code)

Other than academics, I like hiking, poetry and martial arts. I consider myself lucky to be a part of the Penn TaeKwonDo Club.