Vikraman Choudhury (Preferred)
Vikraman Choudhury
Postdoc, University of Bologna
- Joined March 2023
Names
Emails
****@gmail.com (Confirmed)
, ****@unibo.it (Confirmed)
, ****@cl.cam.ac.uk
Personal Links
Career & Education History
Postdoc
University of Bologna (unibo.it)
2023 – Present
Postdoc
University of Glasgow (glasgow.ac.uk)
2022 – 2023
PhD student
University of Cambridge (cam.ac.uk)
2019 – 2022
PhD student
Indiana University (iu.edu)
2015 – 2022
Advisors, Relations & Conflicts
Postdoc Advisor
Simon Gay
2022 – 2023
Expertise
category theory
Present
type theory
Present
programming languages
Present
logic
Present
semantics
Present