Concepedia

Author

Daniel Luchaup

University of Wisconsin–Madison

Also Known As

Daniel Luchaup

11

Publications

549

Citations

9

H-Index

32

Concepts

All Affiliations

University of Wisconsin–MadisonPennsylvania State UniversityCarnegie Mellon University
DL

About

Daniel Luchaup is an author at University of Wisconsin–Madison specializing in computer science, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

7

7

498

2

Computer Engineering

7

7

498

3

Computer Science

7

7

498

4

Data Science

2

2

38

5

Systems Engineering

1

1

115

Daniel Luchaup

×

7

Publications

498

Citations

7

H-Index

YearCitations

Page 1