Prof S. Arun Kumar
vidwan id: 11138
Professor, Department of Computer Science and Engineering
Indian Institute of Technology Delhi
Publications
Publications
No publication activity to display at the moment.
Scopus
h-index
4
CrossRef
Citations
28
h-index
3
Google Scholar
Loading Scholar statistics...
Professional Recognition
No Data Found
There is currently nothing to display here.
Community & Membership
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
Bio
Semantics and Verification, Artificial Intelligence, Parallel Algorithms, Algebraic and Logicial methods in the semantics and verification of programs, automatic verification
Personal Details
- Male
- Professor , Indian Institute of Technology Delhi
- Department of Computer Science and Engineering, Indian Institute of Technology Delhi, Hauz Khas
No Data Found
There is currently nothing to display here.
Related Profiles
Experts (0)
Organisations (800+)
View All
Associate Professor
SERB National Science Chair and Emeritus Professor
Professor
Assistant Professor
Assistant Professor
Professor
Associate Professor
Associate Professor
Associate Professor
Professor
Co-Authors (20)
Osmania University
Dr Bhabani Shankar Prasad Mishra
Kalinga Institute of Industrial Technology, Bhubaneswar
Indian Institute of Technology Guwahati
Indian Institute of Science Bangalore
Indian Institute of Science Bangalore
Christ University
CMR Technological Education Society Group of Institutions
Vallurupalli Nageswara Rao Vignana Jyothi Institute of Engineering and Technology
Indian Institute of Technology Bombay
Institute of Engineering and Technology Lucknow
Kalinga Institute of Industrial Technology, Bhubaneswar
Indian Institute of Technology Delhi
Indian Institute of Science Education and Research(IISER), Bhopal
Visvesvaraya National Institute of Technology
Indian Institute of Technology Delhi
Stanley College of Engineering and Technology for Women
Indian Institute of Science Bangalore
Indian Institute of Technology Delhi
Indian Institute of Technology Bombay
National Institute of Technology Calicut
Scholarly Work
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
No Data Found
There is currently nothing to display here.
