Matt Sottile

Research Lead, Scientific Computing

I lead research efforts investigating new methods for improving scientific computing through the use of formal methods, programming languages techniques, and parallel computing.


Prior to joining Galois, Dr. Sottile was an Adjunct Assistant Professor at the University of Oregon, Department of Computer and Information Science from 2007 through 2009. Between 2001 and 2008, he was a technical staff member at the Los Alamos National Laboratory working in both computational physics and high performance computing systems software.


  • Ph.D. in Computer Engineering, University of New Mexico, 2006.
  • M.S. in Computer Science, University of Oregon, 2001.
  • B.S. in Mathematics and Computer Science, University of Oregon, 1999.