Academic Identity

Vidwan-ID : 11138

Edit Profile


  • Prof S. Arun Kumar

  • Professor
  • Indian Institute of Technology Delhi
Publications 1986 - 2023

Publications

  • 2
    Book Chapter
  • 12
    Conference
    Proceedings
  • 5
    Book
  • 1
    Review
  • 1
  • 3
  • 2
  • 11

Citations / H-Index

118 Citations
6 h-index
125 Citations

Altmetrics

8
5
19
148
5

Co-author Network

Expertise

Computer science

Semantics and Verification, Artificial Intelligence, Parallel Algorithms, Algebraic and Logicial methods in the semantics and verification of programs, automatic verification

Personal Information

Prof S. Arun Kumar

Male
Department of Computer Science and Engineering, Indian Institute of Technology Delhi, Hauz Khas
New Delhi, Delhi, India - 110016

Experience

  • Professor

    Department of Computer Science and Engineering

    Indian Institute of Technology Delhi

Qualification

  • Ph.D.

Publications (20)

Powered by