त्वरित संपर्क
प्रीतम चौधरी
PhD. University of Pennsylvania, US
Assistant Professor, Department of Computer Science & Engineering
शोध करना दिलचस्पी
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