Vidwan-ID : 54809



  • Dr Deepak D Souza

  • Associate Professor
  • Indian Institute of Science, Bangalore
Publications 2000 - 2023

Publications

  • 12
    Journal Articles
  • 41
    Conference
    Proceedings
  • 2
    Book
  • 1
    Editorial
  • 1
    Review
  • 2
  • 13
  • 6
  • 33

Citations / H-Index

665 Citations
12 h-index
955 Citations

Altmetrics

26
7
18
218
6

Google Scholar

Co-author Network


Expertise

Automation and Control Systems

Program verification, static analysis, model-checking, models and logics for real-time systems.

Personal Information

Dr Deepak D Souza

Male
Department of Computer Science and Automation Indian Institute of Science
Bengaluru, Karnataka, India - 560012


Experience

  • Associate Professor

    Computer Science and Automation

    Indian Institute of Science, Bangalore


Qualification

  • Ph.D

    Chennai Mathematical Institute


Membership In Committees

2019

Steering Committee, FSTTCS

Member

2019

Steering Committee, FSTTCS

Member

Read Less