Concepedia

Author

Liam O’Connor

Data61ORCID

Also Known As

LIAM O’CONNOR, Liam O'Connor, Liam O’Connor, O'Connor, Liam

47

Publications

245

Citations

8

H-Index

28

Concepts

All Affiliations

Data61UNSW SydneyThe University of MelbourneUniversity of Edinburgh
LO

About

Liam O’Connor is an author at Data61 specializing in software analysis, formal verification, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

5

5

144

2

Computer Science

5

5

144

3

Computer Engineering

2

2

87

4

Compilers

2

2

44

5

Law

1

1

26

Liam O’Connor

×

5

Publications

144

Citations

5

H-Index

YearCitations

Page 1