Academic Identity

Vidwan-ID : 157739

Edit Profile


  • Dr Kartik Nagar

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

Publications

  • 4
    Journal Articles
  • 10
    Conference
    Proceedings
  • 1
  • 1
  • 2
  • 7

Citations / H-Index

74 Citations
5 h-index
59 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

Publications (14)

Powered by