Concepedia

Author

Danushen Gnanapragasam

University of Washington

Also Known As

Danushen Gnanapragasam, Gnanapragasam, Danushen

6

Publications

985

Citations

4

H-Index

13

Concepts

All Affiliations

University of Washington
DG

About

Danushen Gnanapragasam is an author at University of Washington specializing in formal methods, formal verification, and engineering.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

971

2

Computer Engineering

2

2

971

3

Computer Science

2

2

971

4

Computer Architecture

2

2

971

5

Systems Engineering

1

1

382

Danushen Gnanapragasam

×

2

Publications

971

Citations

2

H-Index

YearCitations

Page 1