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.
Lawrence Livermore National Lab | Wash. State Uni.
LOCATION: Portland, Oregon
BLOG: Not indicated
INTERESTS IN JOBS & NETWORKING: