Concepedia

Author

Sumit Lahiri

Also Known As

Lahiri, Sumit, Sumit Lahiri

6

Publications

38

Citations

3

H-Index

10

Concepts

All Affiliations

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