Vaishnavi Sundararajan, Computer Science and Engineering, IIT Delhi

0 comments

No comments yet. Start the thread.

This semester

COL8271
Special Topics in Formal Methodsrunning now
3 (3-0-0) credits · Slot AA · MTh 14:00-15:30
unrated
COL876
Special Topics in Formal Methodsrunning now
3 (3-0-0) credits · Slot AA · MTh 14:00-15:30
unrated
CON800
Teaching Practicum in Computer Science and Engineeringrunning now
4 (0-0-8) credits · Slot X
unrated
COQ304
Seminar Course - IVrunning now
1 (0-0-2) credits · Slot X
unrated

Earlier

COL352
Introduction to Automata & Theory of Computation
3 (3-0-0) credits · Sem 2, 2025-26, Sem 2, 2024-25
unrated
COL703
Logic for Computer Sciencerunning now
4 (3-0-2) credits · Sem 1, 2025-26, Sem 1, 2024-25
unrated
COL7203
Logic for Computer Sciencerunning now
4 (3-0-2) credits · Sem 1, 2025-26
unrated
CON800
Teaching Practicum in Computer Science and Engineeringrunning now
4 (0-0-8) credits · Sem 1, 2025-26, Sem 1, 2024-25
unrated
COL226
Programming Languages
5 (3-0-4) credits · Sem 2, 2023-24
unrated

Each course has its own page and discussion.

Doing a BTP, MTP, PhD, internship or RA position under Sundararajan, scored on five separate axes.

Filter by role

All 0

Aggregate bars appear once there are 3 reviews. None yet — if you have worked with this professor, yours would be the first.

Write a supervision reviewStart

Your role *When *

A review is close to worthless without knowing whether this was a one-semester BTP or four years of a PhD.

Mentorship5

1 · left yourself to itclosely guided · 10

Availability5

1 · weeks to get a replyresponds same day · 10

Freedom5

1 · told exactly what to dopicked my own direction · 10

Workload5

1 · lightpunishing · 10

Credit5

1 · contribution went unacknowledgedscrupulously fair on authorship · 10

These are deliberately not all “high is good”. Someone who wants heavy guidance and someone who wants total autonomy are looking for opposite ends of the Freedom axis. Answer honestly about what it was like; readers will judge fit.

Would you work with them again? *

YesNo

Anything else (optional)

One review per person per professor; you can edit it later. Posted under an anonymous handle.

No reviews yet.

Areas listed by the department

Formal methodsVerificationSecurity..

Publications, via OpenAlex

4h-index

37Citations

20Works

0i10

Topic clusters

Advanced Authentication Protocols SecurityCryptography and Data SecurityFormal Methods in VerificationLogic, programming, and type systemsLogic, Reasoning, and Knowledge

Most recent

Formal Verification of EDHOC-PSK: A Symbolic Approach with SAPIC+ · ACM Asia Conference on Computer and Communications Security (ASIA CCS), 2026
Self-Correcting Gossip Protocols · arXiv (Cornell University), 2026
Symbolic verification of Apple's Find My location-tracking protocol · arXiv (Cornell University), 2025
Protocol insecurity with finitely many sessions and XOR · arXiv (Cornell University), 2025
Solving the Insecurity Problem for Assertions · Proceedings - Computer Security Foundations Workshop/Proceedings, 2024

Matched to Vaishnavi Sundararajan on OpenAlex. Author matching is by name and institution and can be wrong for common names.

Loading from OpenAlex…