He received his Ph.D. and M.S. in Computer Science from The Ohio State University in 2012, where he studied analysis and visualization of high-dimensional data using Morse theory and other topological approaches. Prior to graduate school, William was a research scientist at Pacific Northwest National Laboratory where he worked primarily on computer vision and machine learning problems. William graduated from the University of Washington in 2004 with a B.S. in Computer Science and a B.A. in Russian Language and Literature. With more than 13 years of professional experience in software engineering and an extensive mathematics and advanced computer science background, William continues to enjoy the wealth of challenges and beautiful insights that reside at the intersection of these areas (e.g., homotopy type theory).