Speaker Bio: Jason Dagit is a research engineer at Galois. He received a M.S. in Computer Science from Oregon State University in 2009. He has been active in...