Skip to content

Company · founded 1999

Galois (United States)

Portland, United States · galois.com

Manage this page

Citations, last 5 years: 398
Works, last 5 years: 95
h-index: 48
Scientists listed: 21
Grants since 2016: 0

Strongest research topics

Logic, programming, and type systems166Computer Science
Formal Methods in Verification122Computer Science
Security and Verification in Computing54Computer Science
Software Testing and Debugging Techniques46Computer Science
Cryptography and Data Security31Computer Science
Embedded Systems Design Techniques31Computer Science

Most cited scientists, last five years

Bill HarrisGalois (United States) · United StatesArts and Humanities59citations, 5 yrs3works, 5 yrs4h-index Ethan LewGalois (United States) · United StatesComputer Science51citations, 5 yrs17works, 5 yrs4h-index David DaraisGalois (United States) · United StatesComputer Science43citations, 5 yrs11works, 5 yrs9h-index Aditya ZutshiGalois (United States) · United StatesComputer Science42citations, 5 yrs5works, 5 yrs8h-index Taisa KushnerGalois (United States) · United StatesMedicine38citations, 5 yrs9works, 5 yrs3h-index David W. ArcherGalois (United States) · United StatesComputer Science32citations, 5 yrs5works, 5 yrs11h-index Eric W. DavisGalois (United States) · United StatesPhysics and Astronomy30citations, 5 yrs4works, 5 yrs9h-index Cole SchlesingerGalois (United States) · United StatesComputer Science29citations, 5 yrs5works, 5 yrs19h-index

All 21 scientists