Robert Kirby

Department of Computer Science

Physical Sciences Collegiate Division

Contact Information

University of Chicago
1100 E 58th Street
Chicago, IL 60637
Phone: (773)834-7580
Fax: (773)702-8487
kirby@cs.uchicago.edu

Personal Homepage

http://people.cs.uchicago.edu/~kirby/

Research

Scientific computing and numerical analysis, particularky finite element methods. Currently, I am working on automating finite element code. We are developing theory and tools that allow us to translate high-level specifications of finite elements and variational forms into highly optimized low-level code.

Education

Ph.D., The University of Texas at Austin (2000)
M.S., The University of Texas at Austin (1998)
B.S., Texas Tech University (1996)

Projects

FEniCS

Technical Reports

TR-2010-09

Languages and Compilers for Variational Forms. Robert Kirby; Matt Knepley; L. Ridgway Scott. 23 October, 2010. Communicated by L. Ridgway Scott.

TR-2010-08

Evaluation of the Action of Finite Element Operators. Robert Kirby; Matt Knepley; L. Ridgway Scott. 23 October, 2010. Communicated by L. Ridgway Scott.

TR-2005-10

Topological optimization of the evaluation of finite element matrices. Robert C. Kirby; Anders Logg; L. Ridgway Scott; Andy Terrel. 8 July, 2005. Communicated by Robert Kirby.

TR-2005-03

Optimizing FIAT with Level 3 BLAS. Robert C. Kirby. 4 May, 2005. Communicated by Robert Kirby.

TR-2004-07

Evaluation of the Action of Finite Element Operators. Robert C. Kirby; Matthew Knepley; L. Ridgway Scott. 17 September, 2004. Communicated by Robert Kirby.

TR-2004-04

Optimal Evaluation of Finite Element Matrices. Robert Kirby; L. Ridgway Scott; Matthew Knepley. 7 May, 2004. Communicated by Robert Kirby.

TR-2003-08

A linear algebraic approach to representing and computing finite elements. Robert C. Kirby. 24 June, 2003. Communicated by Robert Kirby.

TR-2003-06

Residual a posteriori error estimates for the mixed finite element method. Robert C. Kirby. 28 March, 2003. Communicated by Robert Kirby.

TR-2002-11

Arbitrary order mixed finite elements for second order scalar elliptic problems. Robert C. Kirby. 31 October, 2002. Communicated by Robert Kirby.

TR-2002-10

TIRESIAS: A User Guide. A.N.M. Imroz Choudhury; Robert C. Kirby. 31 October, 2002. Communicated by Robert Kirby.

TR-2002-08

LLANO: Lazy evaluation, operator templates, and numerical linear algebra. Robert C. Kirby. 29 October, 2002. Communicated by Robert Kirby.