Concepedia

Author

Garvit Juniwal

Also Known As

Garvit Juniwal, Sanjit A. Seshia

9

Publications

857

Citations

6

H-Index

20

Concepts

All Affiliations

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