معرفی
Vikraman Choudhury is a Marie Skłodowska-Curie Fellow at the Department of Computer Science and Engineering, University of Bologna, and affiliated with the INRIA OLAS Team. He holds a Chancellor's Fellowship in Mathematically Structured Programming at the University of Strathclyde. Previously, he was a Research Associate at the University of Glasgow and a Visiting Research Fellow at the University of Cambridge under a Paul Purdom Fellowship. His research focuses on foundational aspects of computation through algebraic lenses, encompassing programming languages, type theory, category theory, logic, and formalization.
He holds a PhD in Computer Science from Indiana University (2022), where his thesis explored mathematical models of resource-conscious computation. His prior work includes contributions to distributed issue tracking systems using patch theory and formal methods in concurrency. Vikraman has taught courses in semantics, logic, and programming languages at the University of Cambridge and Indiana University.
Research Interests:
- Foundations of Programming Languages
- Type Theory and Homotopy Type Theory
- Category Theory in Computer Science
- Reversible and Quantum Programming
- Formal Methods and Verification
- Algebraic Semantics and Constructive Mathematics
Grants & Projects:
- Marie Skłodowska-Curie Actions Grant (€172k) for ReGraDe-CS project
- Chancellor's Fellowship at University of Strathclyde
- Paul Purdom Fellowship at University of Cambridge
Awards:
- Marie Skłodowska-Curie Fellowship
- Chancellor's Fellow in Mathematically Structured Programming
His research includes pioneering work on reversible debugging of concurrent systems (ReGraDe-CS project), quantum session types, and semantic foundations of directional logic programming. He actively contributes to open-source initiatives including GenoCoRe and formalization efforts in Cubical Agda.
