Kumar Madhukar, Computer Science and Engineering, IIT Delhi

0 comments

No comments yet. Start the thread.

This semester

COL703
Logic for Computer Sciencerunning now
4 (3-0-2) credits · Slot B · MTh 09:30-11:00
unrated
COL7203
Logic for Computer Sciencerunning now
4 (3-0-2) credits · Slot B · MTh 09:30-11:00
unrated

Earlier

COL1000
Introduction to Programmingrunning now
4 (3-0-2) credits · Sem 2, 2025-26
unrated
COD300
Design Projectrunning now
2 (0-0-4) credits · Sem 1, 2024-25
unrated
COD310
Mini Projectrunning now
3 (0-0-6) credits · Sem 1, 2024-25
unrated
COL750
Foundations of Automatic Verification
4 (3-0-2) credits · Sem 1, 2024-25, Sem 2, 2022-23
unrated
COS310
Independent Study (CS)running now
3 (0-3-0) credits · Sem 1, 2024-25
unrated

Each course has its own page and discussion.

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

Program VerificationModel CheckingSyntax-Guided-Synthesis..

Publications, via OpenAlex

7h-index

195Citations

27Works

5i10

Topic clusters

Formal Methods in VerificationSoftware Testing and Debugging TechniquesLogic, programming, and type systemsSecurity and Verification in ComputingModel-Driven Software Engineering Techniques

Most recent

DIROF Artifact: corresponding to our FSTTCS 2026 paper "Cooperative Verification for Arithmetic Overflows" · Zenodo (CERN European Organization for Nuclear Research), 2026
DIRNT Artifact: corresponding to our SPIN 2026 paper "Recurrence-seeking Tests for Non-termination" · Zenodo (CERN European Organization for Nuclear Research), 2026
PROTON 2.1: Synthesizing Ranking Functions via fine-tuned locally Hosted LLM (Competition Contribution) · Lecture notes in computer science, 2025 · 6 citations
Learning DNN Abstractions using Gradient Descent · IEEE/ACM International Conference on Automated Software Engineering (ASE), 2024
A shallow dive into the depths of non-termination checking for C programs · arXiv (Cornell University), 2024

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

Loading from OpenAlex…