Priyanka Golia, Computer Science and Engineering, IIT Delhi

0 comments

No comments yet. Start the thread.

This semester

Nothing recorded this semester.

Earlier

COL7250
Foundations of Automatic Verification
4 (3-0-2) credits · Sem 2, 2025-26
unrated
COL750
Foundations of Automatic Verification
4 (3-0-2) credits · Sem 2, 2025-26, Sem 2, 2024-25
unrated
COL1000
Introduction to Programmingrunning now
4 (3-0-2) credits · Sem 1, 2025-26
unrated
COL876
Special Topics in Formal Methodsrunning now
3 (3-0-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 Golia, 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 MethodsArtificial Intelligence..

Publications, via OpenAlex

4h-index

84Citations

15Works

3i10

Topic clusters

Formal Methods in VerificationLogic, programming, and type systemsCryptography and Data SecurityGame Theory and Voting SystemsVLSI and FPGA Design Techniques

Most recent

Explaining Rankings with Hidden Group Bonuses · ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD), 2026
Explaining Rankings with Hidden Group Bonuses · arXiv (Cornell University), 2026
Explaining Rankings with Hidden Group Bonuses · arXiv (Cornell University), 2026
Provable Guarantees in Approximate Synthesis · 2026
A scalable entropy estimator · Formal Methods in System Design, 2025

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

Loading from OpenAlex…