Indian Institute of Technology, Delhi

Academic Identity

Orcid Id 0000-0002-5945-5208
Scopus Id 56448383100

Vidwan-ID : 379712

Prof Vaishnavi Sundararajan
Assistant Professor (Grade-I)
Indian Institute of Technology Delhi

Publications 2014 - 2022

Publications

2

Journal Articles
5

Conference
Proceedings

Citations / H-Index

11 Citations

2 h-index

Co-author Network

Expertise

Computer Science Theory and Methods

Formal methods, Verification, Logic and Security

Personal Information

Prof Vaishnavi Sundararajan

Female

Department of Computer Science & Engineering IIT Delhi, New Delhi 110016

South Delhi, Delhi, India - 110016

Experience

2023 - Present

Assistant Professor (Grade-I)

Department of Computer Science and Engineering

Indian Institute of Technology Delhi

Qualification

2018

Ph.D.

Chennai Mathematical Institute
2011

MSE

University of Michigan, Ann Arbor

Publications (7)