Concepedia

Author

Jeremy Wazny

The University of Melbourne

Also Known As

JEREMY WAZNY, Jeremy Wazny, Wazny, Jeremy

16

Publications

277

Citations

7

H-Index

18

Concepts

All Affiliations

The University of MelbourneMonash UniversityData61
JW

About

Jeremy Wazny is an author at The University of Melbourne specializing in automated reasoning, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

195

2

Computer Science

3

3

195

3

Computer Engineering

1

1

76

4

Systems Engineering

1

1

76

5

Combinatorial Optimization

1

1

76

Jeremy Wazny

×

5

Publications

234

Citations

5

H-Index

YearCitations

Page 1