Concepedia

Author

Garvit Juniwal

University of California, Berkeley

Also Known As

Garvit Juniwal, Sanjit A. Seshia

9

Publications

857

Citations

6

H-Index

20

Concepts

All Affiliations

University of California, Berkeley
GJ

About

Garvit Juniwal is an author at University of California, Berkeley specializing in formal verification, computer science, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

722

2

Computer Science

3

3

722

3

Systems Engineering

2

2

210

4

Process Control

1

1

178

5

Robotics

1

1

32

Garvit Juniwal

×

3

Publications

722

Citations

3

H-Index

YearCitations

Page 1