Concepedia

Author

Helgi Sigurbjarnarson

Also Known As

Helgi Sigurbjarnarson

7

Publications

159

Citations

3

H-Index

27

Concepts

All Affiliations

HS

About

Helgi Sigurbjarnarson is an author at University of Washington specializing in system software, formal methods, and formal verification.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

3

3

156

2

Computer Science

3

3

156

3

Computer Engineering

2

2

132

4

Systems Engineering

2

2

81

5

Computer Architecture

1

1

75