Jonathan Daugherty is a software engineer at Galois, Inc., a Computer Science R&D company in Portland, OR, US. Galois does research in formal methods, programming language development, operating systems, compiler engineering, and security. Mr. Daugherty has worked on numerous projects...
Read More →