Vidvan Image

Prof Deepak Kapur

vidwan id: 85799
Male

Honorary Professor, Department of Computer Science and Engineering
Indian Institute of Technology Delhi

Expertise

  • Computer Science Software Engineering

Publications

Total Articles 202
Books 0
Proceedings 0

Publications

No publication activity to display at the moment.

Scopus

Citations 3671
h-index 33

CrossRef

CrossRef Icon
Citations 2223
h-index 25
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

Formal methods, program analysis, distributed computing, and social aspects of computing

Personal Details

  • Male
  • Honorary Professor , Indian Institute of Technology Delhi
  • Indian Institute of Technology, Delhi, Hauz Khas
No Data Found

There is currently nothing to display here.

Honorary Professor Jan 2020 – Present
Indian Institute of Technology Delhi | Department of Computer Science and Engineering

Related Profiles

Experts (10184+)

View All
Pragati

Ms Pragati Mishra

Assistant Professor

Sridhar

Dr Sridhar Sekar

Assistant Professor

Md

Dr Md Nadeem M

Assistant Professor

Rashmi

Rashmi Chandra

Assistant Professor

Abhishek

Mr Abhishek Shukla

Assistant Professor (Grade-I)

N

Dr N PRAKASH

Assistant Professor

Mrinmoy

Mr Mrinmoy Sadhukhan

Research Scholar

Haranath

Mr Haranath Rakshit

Junior Research Fellow

Organisations (800+)

View All
Bhupendra Singh

Prof Bhupendra Singh Butola

Associate Professor

Bhim

Prof Bhim Singh

SERB National Science Chair and Emeritus Professor

Arudra Venkata

Prof Arudra Venkata Burra

Assistant Professor

Santra

Prof Santra Bodhaditya

Assistant Professor

Bijay P.

Prof Bijay P. Tripathi

Associate Professor

Bharati

Prof Bharati Puri

Associate Professor

Bahni

Prof Bahni Ray

Associate Professor

Co-Authors (135)

Abhijnan

Prof Abhijnan Chakraborty

Indian Institute of Technology Delhi

Abhirup

Dr Abhirup Datta

Indian Institute of Technology Indore

Anupam

Prof Anupam Dewan

Indian Institute of Technology Delhi

Ashish Kamalakar

Prof Ashish Kamalakar Darpe

Indian Institute of Technology Delhi

Amitava

Dr Amitava De

Indian Institute of Technology Bombay

Anil

Prof Anil Verma

Indian Institute of Technology Delhi

Anindita

Dr Anindita Majumdar

Indian Institute of Technology Hyderabad

Ashutosh

Dr Ashutosh Sarkar

Indian Institute of Management Kozhikode

Amit

Dr Amit Shankar

Indian Institute of Management, Visakhapatnam

Anurag Singh

Prof Anurag Singh Rathore

Indian Institute of Technology Delhi

Gufran

Dr Gufran Beig

National Institute of Advanced Studies

Bhuvanesh

Prof Bhuvanesh Gupta

Indian Institute of Technology Delhi

Bhaskar

Prof Bhaskar Chakrabarti

Indian Institute of Management Calcutta

Bijily

Dr Bijily Balakrishnan

Indian Institute of Technology, Tirupati

B.

Prof B. Bhattacharjee

Indian Institute of Technology Delhi

Bijaya Ketan

Prof Bijaya Ketan Panigrahi

Indian Institute of Technology Delhi

Biswajit

Prof Biswajit Mahanty

Indian Institute of Technology Kharagpur

Manna

Prof Manna Bappaditya

Indian Institute of Technology Delhi

Vivek Shripad

Dr Vivek Shripad Borkar

Indian Institute of Technology Bombay

Bhupendra Singh

Prof Bhupendra Singh Butola

Indian Institute of Technology Delhi

Budaraju Srinivasa

Prof Budaraju Srinivasa Murty

Indian Institute of Technology Hyderabad

Chennupati

Prof Chennupati Jagadish

Indian Institute of Technology Hyderabad

Chandra Shekhar

Dr Chandra Shekhar Sharma

Indian Institute of Technology Hyderabad

Deepak

Dr Deepak Puthal

Indian Institute of Management, Bodhgaya

Suhas S.

Dr Suhas S. Joshi

Indian Institute of Technology Indore

Deepak

Dr Deepak Marla

Indian Institute of Technology Bombay

Devdas

Devdas Menon

Indian Institute of Technology Madras

Devendra Narain

Prof Devendra Narain Singh

Indian Institute of Technology Bombay

D

Dr D Parthasarathy

Indian Institute of Technology Bombay

D. Ravi

Prof D. Ravi Kumar

Indian Institute of Technology Delhi

Pitchipoo

Dr Pitchipoo Pandian

P.S.R.Engineering College

Dipti Ranjan

Prof Dipti Ranjan Sahoo

Indian Institute of Technology Delhi

Suddhasatwa

Prof Suddhasatwa Basu

Indian Institute of Technology Delhi

Sunita

Dr Sunita Varjani

University of Petroleum and Energy Studies, Dehradun

Damodar

Dr Damodar Suar

Indian Institute of Technology Kharagpur

Ganesh R.

Prof Ganesh R. Narayanan

Indian Institute of Technology Guwahati

Geetam

Prof Geetam Tiwari

Indian Institute of Technology Delhi

Ravindra

Ravindra Gettu

Indian Institute of Technology Madras

Gaurang J

Dr Gaurang J Joshi

S.V. National Institute of Technology

Gopal R

Prof Gopal R Patil

Indian Institute of Technology Bombay

M Michael

Prof M Michael Gromiha

Indian Institute of Technology Madras

Sundararajan

Prof Sundararajan G

Indian Institute of Technology Madras

Vanessa GB

Dr Vanessa GB Gowreesunkar

Indian Institute of Management, Sirmaur

Shriram

Dr Shriram Hegde

Indian Institute of Technology Delhi

Jayanta Kumar

Prof Jayanta Kumar Dutt

Indian Institute of Technology Delhi

Jhareswar

Prof Jhareswar Maiti

Indian Institute of Technology Kharagpur

Javed Nabibaksha

Prof Javed Nabibaksha Sheikh

Indian Institute of Technology Delhi

Jitesh

Dr Jitesh Thakkar

Indian Institute of Technology Kharagpur

Deepak Kumar

Prof Deepak Kumar Kamde

Indian Institute of Technology Delhi

Kausik

Dr Kausik Gangopadhyay

Indian Institute of Management Kozhikode

Kamal

Prof Kamal Jain

Indian Institute of Technology Roorkee

K V Krishna

Prof K V Krishna Rao

Indian Institute of Technology Bombay

A.V.

Dr A.V. Mahajan

Indian Institute of Technology Bombay

Manjeet

Prof Manjeet Jassal

Indian Institute of Technology Delhi

A

Prof A Subrahmanyam

Indian Institute of Technology Madras

Manu

Manu Santhanam

Indian Institute of Technology Madras

Ashwin

Dr Ashwin Mahalingam

Indian Institute of Technology Madras

Vasant A.

Prof Vasant A. Matsagar

Indian Institute of Technology Delhi

Mayank

Prof Mayank Tiwari

Indian Institute of Technology Patna

M C

Prof M C Deo

Indian Institute of Technology Bombay

Meenakshi

Dr Meenakshi MS

Indian Institute of Technology Hyderabad

Mani

Prof Mani Mehra

Indian Institute of Technology Delhi

Manish K

Prof Manish K Thakur

Indian Institute of Management Calcutta

Mudrika

Dr Mudrika Khandelwal

Indian Institute of Technology Hyderabad

Murty

Dr Murty B S

Indian Institute of Technology Madras

Murugaiyan

Dr Murugaiyan Amirthalingam

Indian Institute of Technology Madras

Mustafijur

Prof Mustafijur Rahman

Indian Institute of Technology Delhi

Mahesh V

Prof Mahesh V Panchagnula

Indian Institute of Technology Madras

Nagendra R

Dr Nagendra R Velaga

Indian Institute of Technology Bombay

V N Achutha

Dr V N Achutha Naikan

Indian Institute of Technology Kharagpur

Nitya Nand

Prof Nitya Nand Gosvami

Indian Institute of Technology Delhi

Nikhil

Dr Nikhil Saboo

Indian Institute of Technology (BHU), Varanasi

Nisigandha

Dr Nisigandha Bhuyan

Indian Institute of Management Calcutta

Narasimhaiengar

Prof Narasimhaiengar Mukunda

Indian Institute of Technology Kharagpur

Preeti Ranjan

Prof Preeti Ranjan Panda

Indian Institute of Technology Delhi

P K

Prof P K Gupta

Indian Institute of Technology Delhi

Prakash C

Dr Prakash C Ghosh

Indian Institute of Technology Bombay

Samit K

Dr Samit K Ray

Indian Institute of Technology Kharagpur

Radhakrishna G

Dr Radhakrishna G Pillai

Indian Institute of Technology Madras

Muthukumar

Dr Muthukumar Palanisamy

Indian Institute of Technology, Tirupati

Pulak Mohan

Prof Pulak Mohan Pandey

Indian Institute of Technology Delhi

Prachi

Dr Prachi Thareja

Indian Institute of Technology Gandhinagar

Ravi

Prof Ravi Shankar

Indian Institute of Technology Delhi

Raghunathan

Prof Raghunathan Rengasamy

Indian Institute of Technology Madras

Rakesh Kumar

Prof Rakesh Kumar Palani

Indian Institute of Technology Delhi

Maya

Prof Maya Ramanath

Indian Institute of Technology Delhi

Ramendra

Dr Ramendra Singh

Indian Institute of Management Calcutta

Ramesh Chandra

Dr Ramesh Chandra Poonia

Christ University

Ram Sajeevan

Dr Ram Sajeevan Maurya

Indian Institute of Technology Indore

R.

Prof R. Chattopadhyay

Indian Institute of Technology Delhi

Ranjan Kumar

Prof Ranjan Kumar Mallik

Indian Institute of Technology Delhi

Romanbabu

Dr Romanbabu Oinam

Indian Institute of Technology Guwahati

Dr. Dipti Ranjan

Dr. Dipti Ranjan Sahoo

Indian Institute of Technology Delhi

Rajendra

Prof Rajendra Singh

Indian Institute of Technology Delhi

Rajiv

Prof Rajiv Tiwari

Indian Institute of Technology Guwahati

S.S.

Dr S.S. Pande

Indian Institute of Technology Bombay

S. K.

Prof S. K. Saha

Indian Institute of Technology Delhi

Saikat

Prof Saikat Sarkar

Indian Institute of Technology Delhi

Subbiah

Dr Subbiah Alwarappan

Central Electrochemical Research Institute

Samrat

Prof Samrat Mukhopadhyay

Indian Institute of Technology Delhi

Sandip Kumar

Dr Sandip Kumar Saha

Indian Institute of Technology Mandi

Santanu

Prof Santanu Bandyopadhyay

Indian Institute of Technology Bombay

Santanu

Prof Santanu Chaudhury

Indian Institute of Technology Delhi

Shriniwas S.

Dr Shriniwas S. Arkatkar

S.V. National Institute of Technology

Chivukula V

Prof Chivukula V Sastri

Indian Institute of Technology Guwahati

Santabrata

Dr Santabrata Das

Indian Institute of Technology Guwahati

Sudhir Chella

Sudhir Chella Rajan

Indian Institute of Technology Madras

Sekhar Chandra

Prof Sekhar Chandra Dutta

Indian Institute of Technology (Indian School of Mines), Dhanbad

Sourabh

Prof Sourabh Ghosh

Indian Institute of Technology Delhi

Bishnoi

Prof Bishnoi Shashank

Indian Institute of Technology Delhi

Shveta

Prof Shveta Singh

Indian Institute of Technology Delhi

Sidhartha S

Dr Sidhartha S Padhi

Indian Institute of Management Kozhikode

Sindhu

Dr Sindhu Radhakrisna

National Institute of Advanced Studies

Sivakumar

Dr Sivakumar G

Indian Institute of Technology Bombay

Sanjay Kumar

Prof Sanjay Kumar Chaturvedi

Indian Institute of Technology Kharagpur

Sajal Kanti

Prof Sajal Kanti Deb

Indian Institute of Technology Guwahati

S.K.

Prof S.K. Khare

Indian Institute of Technology Delhi

Krishna Moorthy

Krishna Moorthy Sivalingam

Indian Institute of Technology Madras

Sanjay Kumar

Prof Sanjay Kumar Singh

Indian Institute of Technology (BHU), Varanasi

Sujeet Kumar

Prof Sujeet Kumar Sinha

Indian Institute of Technology Delhi

Sudip

Dr Sudip Misra

Indian Institute of Technology Kharagpur

Soham

Dr Soham Mujumdar

Indian Institute of Technology Bombay

Sonali

Prof Sonali Jain

Indian Institute of Technology Delhi

Sandeep

Prof Sandeep Sen

Indian Institute of Technology Delhi

Sudarsanam

Dr Sudarsanam Putla

Indian Institute of Technology Hyderabad

Sudipto

Prof Sudipto Mukherjee

Indian Institute of Technology Delhi

Raman I

Prof Raman I Sujith

Indian Institute of Technology Madras

Suman

Dr Suman Saha

National Institute of Technology Durgapur

Sumantra Dutta

Prof Sumantra Dutta Roy

Indian Institute of Technology Delhi

Surendra Singh

Prof Surendra Singh Yadav

Indian Institute of Technology Delhi

S Suriya

Prof S Suriya Prakash

Indian Institute of Technology Hyderabad

Uday S.

Prof Uday S. Dixit

Indian Institute of Technology Guwahati

Vikram

Prof Vikram Kumar

Defence Research & Development Organisation

Tom V

Dr Tom V Mathew

Indian Institute of Technology Bombay

V R

V R Muraleedharan

Indian Institute of Technology Madras

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.

Scholarly Publications

A new algorithm for Gröbner bases conversion

Open Access
Article

MODULARITY AND COMBINATION OF ASSOCIATIVE COMMUTATIVE CONGRUENCE CLOSURE ALGORITHMS ENRICHED WITH SEMANTIC PROPERTIES

Open Access
Article

Verifying quantum phase estimation using an expressive theorem-proving assistant

Open Access
Article

Interpolation Results for Arrays with Length and MaxDiff

Open Access
Article

UNIFORM INTERPOLANTS IN EUF: ALGORITHMS USING DAG-REPRESENTATIONS

Open Access
Article

Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols

Open Access
Article

Algorithms for Testing Membership in Univariate Quadratic Modules over the Reals

Open Access
Conference Paper