- Ph.D. Computer Science, SUNY Stony Brook, 1991.
- M.S. Computer Science, SUNY Stony Brook, 1990.
- B. Tech. Computer Science & Engineering, IIT Kanpur, 1985.
My research interests are in the broad area of Formal Methods:
programming languages and their semantics; concurrency theory; verification; proof theory; mobile computation; formal foundations of networks, including IoT and SDN; security, especially in information flow; formal models for reconfigurable architectures.
I have also some work in systems biology, computational biology, and medical applications of computing. I take a broad approach to programming language issues. Some of the areas I have explored and in which I have guided students include security and integrity of information; ``Eco-Design’’ and architectures for information representation; phonetic encodings of text; IDEs and the interaction with context; working in resource-challenged scenarios; reasoning about system execution beyond programmer control.
Chandrika Bhardwaj (CSE): Secure Information Flow
Aruna Bansal (Khosla School): Hypergraphical Representation of Data
Shashank Sharma (Khosla School, with SN Maheshwari): Computational Biology
Ankit Singhal (Khosla School, with SN Maheshwari): Computational Biology
Rathnakar Madhukar Yerraguntla (CSE, with Subodh Sharma): Verification of Cyber-Physical Systems
Rajesh Kumar Pal (CSE, with Kolin Paul):
Priti Paul Sinha (Math, with Wagish Shukla):
I am on the Executive Committee and PRSG of the ITRA Project of the Ministry of Electronics and Information Technology, Government of India. I am on the Academic Committee of the Visvesvaraya PhD Scheme of the Ministry of Electronics and Information Technology, Government of India.
VNU Journal of Science (Vietnam). I am an Associate Editor for Computer Science and Communication Engineering (Vietnam)
ICLA 2019 (I am on the Organising Committee)
ICTAC 2019 (I am on the Programme Committee)
If you wish to contact me in my official capacity as Head of the Department of Computer Science and Engineering, please send mail to hodcse AT admin.iitd.ac.in using the contact form below
Please do NOT email or phone my office regarding internships,
invitations to serving on technical programme committees or giving invited talks, or
serving on selection committees for government departments
UNLESS you already know me personally, or have the permission to do so from IITD's administration.
I am happy to hear from alumni, especially with suggestions on how the CSE Department may grow and improve. In all such communications, we will be grateful if you remind us which programme your graduated from, and when. Please send mail to hodcse AT admin.iitd.ac.in
Current students of the CSE Department at IITD should FIRST contact their faculty advisers or project guides/teachers of their courses BEFORE contacting the Head, especially for certificates and letters of recommendation.
My personal email address: sanjiva AT cse DOT iitd DOT ac DOT in