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.
LOCATION: Portland, Oregon
WEBSITE: Not indicated
BLOG: Not indicated
INTERESTS IN JOBS & NETWORKING: