Mark Tullsen

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.

Background

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.