Vidwan-ID : 157739



  • Dr Kartik Nagar

  • Assistant Professor
  • Indian Institute of Technology Madras
Publications 2012 - 2020

Publications

  • 2
    Journal Articles
  • 6
    Conference Paper
  • 5

Citations / H-Index

23 Citations
4 h-index
12 Citations

Google Scholar

Co-author Network


Expertise

Computer Science Software Engineering

Automated Formal Verification, Program Analysis, Programming Languages

Personal Information

Dr Kartik Nagar

Male
Department of Computer Science and Engineering, BSB 369, Indian Institute of Technology Madras
Chennai, Tamil Nadu, india - 600036


Experience

  • Assistant Professor

    Indian Institute of Technology Madras


Qualification

  • Ph. D

    Indian Institute of Science Bangalore

  • M. Eng.

    Indian Institute of Science Bangalore