Concepedia

Author

Nathan Wetzler

The University of Texas at Austin

Also Known As

Nathan Wetzler

8

Publications

479

Citations

7

H-Index

15

Concepts

All Affiliations

The University of Texas at Austin
NW

About

Nathan Wetzler is an author at The University of Texas at Austin specializing in formal verification, proof complexity, and automated reasoning.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

125

2

Computer Science

2

2

125

3

Computer Engineering

1

1

106

4

Data Science

1

1

19

5

Mathematical Foundations

1

1

19

Nathan Wetzler

×

2

Publications

125

Citations

2

H-Index

YearCitations

Page 1