Concepedia

Author

Upamanyu Sharma

University of MichiganORCID

Also Known As

Upamanyu Sharma

6

Publications

77

Citations

3

H-Index

19

Concepts

All Affiliations

University of Michigan
US

About

Upamanyu Sharma is an author at University of Michigan specializing in formal verification, software engineering, and system software.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

57

2

Computer Science

2

2

57

3

Software Analysis

2

2

57

4

Computer Engineering

1

1

37

5

Computer Architecture

1

1

37

Upamanyu Sharma

×

3

Publications

73

Citations

3

H-Index

YearCitations

Page 1