Mark received a B.S. degree from U.C. Berkeley in EECS and an M.S. and Ph.D. in Computer Science from Yale University. In between those degrees, he worked for a dozen years in industry as a C/C++ programmer. Before coming to Galois, he worked as a post-doctoral associate at Oregon Graduate Institute.