Gilith is a Sindarin word meaning outer space

Joe Hurd
Formal Methods Engineer at Galois, Inc.
Portland, OR, USA

Projects

Recent Talks

Recent Publications

Conferences