Mark Tullsen
Contact
Research and Engineering
Office: 503.626.6616 x109
Email: tullsen (at) galois (dot) com
At Galois
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.
My Background
I 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, I worked for a dozen years in industry as a C/C++ programmer. Before coming to Galois, I worked as a post-doctoral associate at Oregon Graduate Institute.
Publications
- Domain Separation by Construction (2003)
- PATH, A Program Transformation System for Haskell (2002)
- The Zip Calculus (2000)
- First Class Patterns (2000)
- Shifting expression procedures into reverse (1999)
- Compiling Haskell to Java (1996)