Adam Wick leads the systems software group at Galois, Inc., a R&D company in Portland, OR. Galois does research in formal methods, programming language development, operating systems, compiler engineering, and security. Dr. Wick has worked in a variety of fields at all level of...
Read More →