Academic Identity

Vidwan-ID : 97782

Edit Profile


  • Dr Amit Kumar Dhar

  • Assistant Professor
  • Indian Institute of Technology Bhilai
Publications 2012 - 2022

Publications

  • 7
    Journal Articles
  • 11
    Conference
    Proceedings
  • 1
  • 4
  • 5

Citations / H-Index

117 Citations
6 h-index
100 Citations

Google Scholar

Co-author Network

Expertise

Computer Science Software Engineering

Formal Methods, Model-Checking, Applied formal verification, Algorithms and Complexity, Formal Methods, ·Temporal Logics, SMT Solvers

Personal Information

Dr Amit Kumar Dhar

Male
Department of Electrical Engineering and Computer Science Indian Institute of Technology Bhilai, GEC Campus, Sejbahar, Raipur
Raipur, Chhattisgarh, India - 492015

Experience

  • Assistant Professor

    Department of Electrical Engineering and Computer Science

    Indian Institute of Technology Bhilai

  • Assistant Professor

    Department of Information Technology

    Indian Institute of Information Technology, Allahabad

Qualification

  • Post Doctorate Fellow

    Universite Libre de Bruxelles

  • Ph.D

    LIAFA, Universite Paris Diderot

Publications (18)

Powered by