Vidwan-ID : 11138



  • Prof S. Arun Kumar

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

Citations / H-Index

49 Citations
4 h-index
42 Citations

Altmetrics

1
2
3
1

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.