Concepedia

Author

Sumit Lahiri

Indian Institute of Technology KanpurORCID

Also Known As

Lahiri, Sumit, Sumit Lahiri

6

Publications

38

Citations

3

H-Index

10

Concepts

All Affiliations

Indian Institute of Technology Kanpur
SL

About

Sumit Lahiri is an author at Indian Institute of Technology Kanpur specializing in program analysis, verification, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

18

2

Computer Science

1

1

18

3

Software Analysis

1

1

18

4

Software Engineering

1

1

18

5

Automated Reasoning

1

1

18

Sumit Lahiri

×

2

Publications

33

Citations

2

H-Index

YearCitations

Page 1