Subodh Vishnu Sharma, Computer Science and Engineering, IIT Delhi

0 comments

No comments yet. Start the thread.

This semester

COD300
Design Projectrunning now
2 (0-0-4) credits · Slot X
unrated
COD310
Mini Projectrunning now
3 (0-0-6) credits · Slot X
unrated
COD492
B.Tech. Project Part-Irunning now
6 (0-0-12) credits · Slot X
unrated
COD494
B.Tech. Project Part-IIrunning now
8 (0-0-16) credits · Slot X
unrated
COL8595
Special Topics in Software Systems Irunning now
3 (3-0-0) credits · Slot AD · TF 15:30-17:00
unrated
COL862
Special Topics in Software Systemsrunning now
3 (3-0-0) credits · Slot AD · TF 15:30-17:00
unrated

Earlier

Each course has its own page and discussion.

Doing a BTP, MTP, PhD, internship or RA position under Sharma, 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 MethodsProgram AnalysisConcurrent Systems..

Publications, via OpenAlex

12h-index

1101Citations

50Works

13i10

Topic clusters

Logic, programming, and type systemsFormal Methods in VerificationSoftware Testing and Debugging TechniquesCryptography and Data SecurityBlockchain Technology Applications and Security

Most recent

Freshwater Quality Analysis Based on RRA and Thailand River Protocol in Wonorejo River, Surabaya and Dlundung River, Mojokerto, East Java · BIO Web of Conferences, 2025
Publicly Auditable Privacy-Preserving Electoral Rolls · Proceedings - Computer Security Foundations Workshop/Proceedings, 2024
Parameterized Static Analysis for Weak Memory Models · Innovations in Software Engineering Conference (ISEC), 2024
Symbolic Verification of Mesh Commissioning Protocol of Thread · Innovations in Software Engineering Conference (ISEC), 2024 · 2 citations
Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version) · arXiv (Cornell University), 2023

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

Loading from OpenAlex…