Vikraman Choudhury
- pronunciation
- /vˈɪkɹəmən t͡ʃˈɔːdhɹi/
- pronouns
- he/them
- affiliation
-
Mathematically Structured Programming Group
Department of Computer and Information Sciences
University of Strathclyde - links
- ⋄ ⋄ ⋄ ⋄ ⋄
About
I am a Chancellor’s Fellow (Lecturer) in Mathematically Structured Programming at the University of Strathclyde, Glasgow, UK.
Research
I study mathematical foundations of computation, through an algebraic lens. My research spans category theory, type theory, programming language theory, logic, semantics, concurrency, constructive mathematics, and formalisation.
History
| 2025 – ??? | University of Strathclyde | Chancellor’s Fellow |
| 2023 – 2025 | Università di Bologna | Marie Skłodowska-Curie Fellow |
| 2021 – 2023 | University of Glasgow | Head of School’s RA |
| 2019 – 2021 | University of Cambridge | PhD student, Paul Purdom Fellow |
| 2015 – 2022 | Indiana University | MS/PhD student |
Note
This website is being rewritten, and some things may be missing or incomplete. You may go here for an old snapshot of the website.