Quick Links
Pritam Choudhury
PhD. University of Pennsylvania, US
Assistant Professor, Department of Computer Science & Engineering
Research Interest
Programming Languages, Type Theory, Static Analyses, Language-Based Security, Formal Verification, Logic and Formal Methods in Indian Knowledge Traditions
KD-318, Department of Computer Science and Engineering
IIT Kanpur, Kanpur 208016