Concepedia

Author

Aditya Zutshi

Also Known As

Aditya Zutshi, Zutshi, Aditya

21

Publications

253

Citations

8

H-Index

26

Concepts

All Affiliations

AZ

About

Aditya Zutshi is an author at University of Colorado Boulder specializing in formal methods, formal verification, and computer engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

6

6

183

2

Computer Engineering

6

6

183

3

Computer Science

6

6

183

4

Systems Engineering

6

6

183

5

Data Science

1

1

30

Aditya Zutshi

×

7

Publications

193

Citations

7

H-Index

YearCitations

Page 1