User Portlet

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.