Concepedia

Author

Jacob Van Geffen

The University of Texas at AustinORCID

Also Known As

Jacob Van Geffen, Van Geffen, Jacob

12

Publications

317

Citations

6

H-Index

33

Concepts

All Affiliations

The University of Texas at AustinUniversity of WashingtonRice University
JV

About

Jacob Van Geffen is an author at The University of Texas at Austin specializing in formal methods, computer science, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

288

2

Computer Science

5

5

288

3

Management

2

2

188

4

Computer Engineering

2

2

80

5

Data Science

2

2

188

Jacob Van Geffen

×

5

Publications

288

Citations

5

H-Index

YearCitations

Page 1