
Research Scientist at Georgia Institute of Technology
Greater Atlanta Area

Research Scientist at Georgia Institute of Technology
Greater Atlanta Area
Research in sparse linear algebra, dense linear algebra, high-performance computing, parallel computing, combinatorial optimization, floating-point arithmetic, and image analysis.
Developed portions of LAPACK and ScaLAPACK. Enhanced TAUCS and SuperLU. Contributed to GNU Octave, GNU Emacs, R, git, etc.
Long-term interesting questions:
- Which applications benefit from computing precise results with targeted software arithmetic?
- How can libraries hide the increasing latency gap between each level of computing hardware?
- Can formal semantics enable faster, safer floating-point compiler optimizations?
- Where are the appropriate trade-offs between loose coupling and high performance is system and library design?
- Is a linear-time (O(vertices+edges)) bipartite matching algorithm possible?
- How do we evolve programming languages to support multicore computing's huge design space?
sparse linear algebra, dense linear algebra, image analysis, parallel computing, language analysis, floating-point arithmetic, high-performance computing, scalable services, free software, open services
(Educational Institution; Higher Education industry)
March 2009 — Present (5 months)
(Research industry)
August 1998 — Present (11 years)
Sparse and dense high-performance linear algebra. LAPACK, ScaLAPACK, and SuperLU development. Parallel computing course assistance.
(Higher Education industry)
August 2008 — December 2008 (5 months)
Teaching general mathematics and mathematics for elementary education majors.
(Research industry)
August 1994 — August 1998 (4 years 1 month)
Maintenance of servers and file systems for CISE Department, Univ. of Florida. Including performance tuning, troubleshooting, file system backups, and end-user support.
(Research industry)
January 1996 — August 1998 (2 years 8 months)
Work on Image Algebra (image analysis) and the IAC++ library: SIMD parallel optimization, edge detection, geometric hashing.
Also work on sparse matrix partitioning methods.
Ph.D. , Computer Science , 1998 — 2008
Ph.D., Computer Science, University of California at Berkeley, expected Fall 2008, 3.8 GPA. Adviser: Dr. James Demmel. Thesis: Making Static Pivoting Scalable and Dependable.
Associated projects: SuperLU, LAPACK, ScaLAPACK, XBLAS, IEEE-754r
B.S. , Computer Science, Mathematics , 1992 — 1995
B.S. with Honors, Computer Science and Mathematics, University of Florida, 1995, 3.8 GPA.
Associated projects: Image Algebra
linear algebra, cooking, coding, programming languages, floating-point arithmetic, hunting, living
Association for Computing Machinery (ACM), Society for Industrial and Applied Mathematics (SIAM)