Concepedia

Author

Jacob Thamsborg

IT University of Copenhagen

Also Known As

JACOB THAMSBORG, Jacob Thamsborg, Thamsborg, Jacob

16

Publications

374

Citations

10

H-Index

23

Concepts

All Affiliations

IT University of CopenhagenUniversity of CopenhagenUniversity of SussexSaarland UniversityMax Planck Institute for Software Systems
JT

About

Jacob Thamsborg is an author at IT University of Copenhagen specializing in automated reasoning, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

8

8

255

2

Computer Science

7

7

245

3

Computer Engineering

1

1

75

4

Data Science

1

1

75

5

Computer Architecture

1

1

75

Jacob Thamsborg

×

10

Publications

325

Citations

10

H-Index

YearCitations

Page 1