Concepedia

Author

Thomas Sewell

UNSW SydneyORCID

Also Known As

Lyons, Anna, Sewell, Thomas, THOMAS SEWELL, Thomas Arthur Leck Sewell, Thomas Sewell, Trenton Sewell

38

Publications

2.9K

Citations

16

H-Index

30

Concepts

All Affiliations

UNSW SydneyData61University of CambridgeThe University of MelbourneChalmers University of Technology
TS

About

Thomas Sewell is an author at UNSW Sydney specializing in formal verification, software analysis, and program analysis.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

11

11

2.2K

2

Computer Science

10

10

2.2K

3

Computer Engineering

9

9

2.2K

4

Systems Engineering

4

4

188

5

Law

1

1

26

Thomas Sewell

×

14

Publications

2.5K

Citations

13

H-Index

YearCitations

Page 1