Vidwan-ID : 93759



  • Dr Gourinath Banda

  • Associate Professor
  • Indian Institute of Technology Indore
Publications 2005 - 2020

Publications

  • 5
    Journal Articles
  • 6
    Conference
    Proceedings
  • 1
  • 2
  • 1
  • 2

Citations / H-Index

59 Citations
5 h-index
31 Citations

Co-author Network


Expertise

Computer Science Cybernetics

Cyber Physical Systems, Internet of Things, Verification of Embedded Systems (Infinite State Systems), Model Checking, Abstract Interpretation, Temporal Logics, Real-time kernel design

Experience

  • Associate Professor

    Department of Computer Science and Engineering

    Indian Institute of Technology Indore


Qualification

  • PhD

    Roskilde University


Patents





Read Less