Jason Dagit

Research & Engineering

I joined Galois in 2009 and have been involved in projects ranging over identity management, mobile security, static analysis, and control flow integrity. Most recently, my work at Galois has focused on source to source program transformations.


Jason holds an M.S. in Computer Science from Oregon State University and has served on the Haskell.org committee since 2011.