Research & Engineering
My research interests include functional programming and program transformation. At Galois, primarily, I write Haskell. More specifically, I’ve been investigating how to assure the run time system of Haskell implementations, in particular GHC. I’ve also been involved with writing an ASN.1 compiler and modeling cryptographic chips … all using Haskell.
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.
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.