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 in and around security policies and embedded system control, including work on policy formulation and analysis, policy implementation, and higher-assurance autonomous system development.