Concepedia

Author

Jacob Van Geffen

Also Known As

Jacob Van Geffen, Van Geffen, Jacob

12

Publications

317

Citations

6

H-Index

33

Concepts

All Affiliations

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