Sanjiva Prasad, Computer Science and Engineering, IIT Delhi

0 comments

No comments yet. Start the thread.

This semester

Nothing recorded this semester.

Earlier

COL226
Programming Languages
5 (3-0-4) credits · Sem 2, 2025-26, Sem 2, 2024-25, Sem 2, 2023-24
unrated
COV8289
Special Module in Concurrency
1 (1-0-0) credits · Sem 1, 2025-26
unrated
COV889
Special Module in Concurrency
1 (1-0-0) credits · Sem 1, 2025-26
unrated
SIV810
Special Module in Cyber Security
1.5 (1-0-1) credits · Sem 1, 2025-26
unrated
SIV8110
Special Module in Cyber Security
1.5 (1-0-1) credits · Sem 1, 2025-26
unrated
COL765
Intro. To Logic and Functional Programming
4 (3-0-2) credits · Sem 1, 2024-25, Sem 1, 2023-24, Sem 1, 2022-23
unrated
COV888
Special Module in Database Systemsrunning now
1 (1-0-0) credits · Sem 1, 2024-25
unrated
SPD882
MPP Major Project-II
14 (0-0-28) credits · Sem 1, 2023-24
unrated
COL831
Semantics of Programming Languages
3 (3-0-0) credits · Sem 2, 2022-23
unrated

Each course has its own page and discussion.

Doing a BTP, MTP, PhD, internship or RA position under Prasad, 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

SemanticsVerificationProgramming LanguagesConcurrent Systems..

Publications, via OpenAlex

14h-index

965Citations

47Works

14i10

Topic clusters

Logic, programming, and type systemsFormal Methods in VerificationSecurity and Verification in ComputingParallel Computing and Optimization TechniquesComplexity and Algorithms in Graphs

Most recent

Logical Synchrony Plus Functional Processes Entail Observable Determinacy · 2024 · 1 citations
Secure information flow connections · Journal of Logical and Algebraic Methods in Programming, 2022 · 2 citations
Secure Information Flow Typing in LUSTRE · arXiv (Cornell University), 2022
Normalising Lustre Preserves Security · Lecture notes in computer science, 2021 · 1 citations
Security Types for Synchronous Data Flow Systems · ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2020 · 2 citations

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

Loading from OpenAlex…