Concepedia

Author

Kumud Sanwal

University of California, Berkeley

Also Known As

Kumud Sanwal

2

Publications

748

Citations

2

H-Index

7

Concepts

All Affiliations

University of California, Berkeley
KS

About

Kumud Sanwal is an author at University of California, Berkeley specializing in discrete mathematics, verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

412

2

Computer Science

1

1

412

3

Automated Reasoning

1

1

412

4

Discrete Mathematics

1

1

412

5

Formal Methods

1

1

412

Kumud Sanwal

×

1

Publications

412

Citations

1

H-Index

YearCitations

Page 1