GET IN TOUCH
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.
Bill Harrison
Principal Scientist
Background
Bill Harrison received his BA in Mathematics from Berkeley in 1986 and his doctorate from the University of Illinois at Urbana-Champaign in 2001 in Computer Science. From 2000-2003, he was a post-doctoral research associate at the Oregon Graduate Institute in Portland, Oregon. He also spent 16 years on the faculty in the Electrical Engineering and Computer Science department at the University of Missouri and worked as a research scientist for several national laboratories and Two Six Technologies. Currently, he is a Principal Scientist at Galois, Inc.
Bill is the originator of the ReWire functional High-Level Synthesis language, a Haskell-embedded DSL for designing, implementing, and verifying performant hardware. His research interests include all aspects of programming languages research (e.g., language-based computer security, semantics, design and implementation), reconfigurable computing, formal methods, and malware analysis.
