Researcher in the Center for Applied Scientific Computing at the Lawrence Livermore National Laboratory. I build program analysis and program transformation tools. Interested in logic/formal methods, programming languages, graph theory, image processing, and high performance computing.

Twitter: http://twitter.com/mjsottile
GitHub: http://github.com/mjsottile