Dr. Andrew Adams-Moran is one of the founders of Galois, Inc. He works with clients at the Department of Defense to understand their needs and how Galois can solve them, defining project scope and technical direction, and acting as client liaison during project execution. Dr. Adams-Moran has led several key projects that have built Galois' reputation for applying innovative research ideas to the hardest problems in security for critical systems. Many of those projects focused on domain-specific language design and implementation.
Dr. Adams-Moran holds a Ph.D. in Computer Science from the Chalmers University of Technology, Gothenburg, Sweden (1998). His thesis and subsequent research papers focused on practical semantic theories for challenging language features, such as non-determinism and sharing.