Kumar Madhukar (Preferred)
Kumar Madhukar
Assistant Professor, Indian Institute of Technology, Delhi
Joined
April 2025
Names
Emails
****@cse.iitd.ac.in (Confirmed)
Personal Links
Career & Education History
Assistant Professor
Indian Institute of Technology, Delhi (iitd.ac.in)
2021 – Present
Advisors, Relations & Conflicts
Expertise
Formal Verification
, Automated Reasoning
, Model Checking
, Synthesis
, Deep Learning
Present
Publications
Co-Authors
- Aarti Gupta
- Akshatha Shenoy
- Anand Yeolekar
- Avriti Chauhan
- Björn Wachter
- Daniel Kroening
- Deepak D'Souza
- Diganta Mukhopadhyay
- Dipali Bhutada
- Grigory Fedyukovich
- Guy Katz
- Hrishikesh Karmarkar
- Jude K. Anil
- Mandayam K. Srivas
- Manish Goyal
- Matt Lewis
- Mohammad Afzal
- Muqsit Azeem
- Peter Schrammel
- Priyanka Singh
- R. Venkatesh
- Ravindra Metta
- Ron Shemer
- Samarjit Chakraborty
- Sanaa Siddiqui