Vidwan-ID : 54809



  • Dr Deepak D Souza

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

Publications

  • 12
    Journal Articles
  • 1
    Book Chapter
  • 44
    Conference
    Proceedings
  • 2
    Book
  • 1
    Editorial
  • 1
    Review
  • 2
  • 4
  • 7
  • 43

Citations / H-Index

681 Citations
13 h-index
1013 Citations

Altmetrics

25
7
18
223
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