My research focuses on high performance computing, linear algebra, and algorithm design. I am particularly interested in the intersection of numerical linear algebra, formal derivation of algorithms, and their efficient implementation on modern architectures.
(Representative papers — add links to PDFs or publishers)
I am a Research Fellow in the Science of High Performance Computing Group at the Oden Institute of Computational Engineering and Sciences, collaborating with faculty and students on topics in algorithm derivation, correctness, and performance.