Chinmay Narayan Research Scholar, Department of Computer Science and Engineering, Indian Institute of Technology, Delhi. Email : chinmay AT cse DOT iitd DOT ac DOT in Research Interest: Programming languages, Compiler optimizations, Program analysis and verification Advisor: Prof. S. Arun-Kumar.

Work-related:

• Courses at IIT Delhi: Data Structures and Algorithms, Foundations of Automatic Verification, Compiler Design, Operations Research
• Teaching Assistantship: Introduction to logic and functional programming (CSL765), Programming Languages(CSL302), Introduction to computer science (CSL101)(CSL102), Logic in Computer Science(CSL303)

Research Work:

Patent:

• (WO2010031731) METHOD OF ANALYZING A COMPUTER PROGRAM , Ravikanth Kandula and Chinmay Narayan.

Resources

• MACS (Modelling and Analysis of Complex Systems) at IIT Delhi (for internal users only).