Vidwan-ID : 242563

Edit Profile


Prof Kumar Madhukar

 Assistant Professor
Indian Institute of Technology Delhi

Expertise

Computer Science Artificial Intelligence

Program Verification, Model Checking, Syntax-Guided-Synthesis

Personal Information

Prof Kumar Madhukar

Male
Department of Computer Science and Engineering Indian Institute of Technology Delhi, Hauz Khas, New Delhi, Delhi, India
New Delhi, Delhi, India - 110016

Experience

  • Assistant Professor

    Department of Computer Science and Engineering

    Indian Institute of Technology Delhi

Qualification

  • Ph.D

    Chennai Mathematical Institute

Powered by