James Bielman is a software engineer at Galois, Inc, a Computer Science R&D company in Portland, OR. Galois does research in formal methods, programming language development, operating systems, compiler engineering, and security. Mr. Bielman has worked across a variety of projects...
Read More →