Current Contact Information
Sid Richardson Building, Room 320
Email: reduce(operator.add , [“Robert”,”_”,”Kirby”,”@”,”baylor”,”.”,”edu”], “”)
Associate Professor, Baylor University, 2012-2016.
Associate Professor, Texas Tech University, 2006-2012.
Assistant Professor, University of Chicago, 2002-2006.
Dickson Instructor, University of Chicago, 2000-2002.
Ph.D., University of Texas at Austin, 2000.
Computers were invented to automate tedious and error-prone tasks, like the vast hoards of arithemtic operations required to perform advanced numerical simulations of science and engineering problems. However, programming computers is itself a tedious and error-prone task. So, why not get a computer to do it?
At the intersection of mathematics and computer science, one finds “metanumerical computing” – the use of mathematical structure to generate, manipulate, and optimize numerical software. I have contributed to software projects such as the FEniCS project, and Firedrake. The goal is to fuse together aspects of domain-specific languages with structural and algorithmic aspects of finite elements to produce easy-to-use yet highly efficient code systems that provide efficient implementations of state-of-the-art numerical methods. Or, you can call it “numerical methods with a universal quantifier”.
These are under active development and yet widely used in applications. I am also interested in pressing forward basic research in algorithms and finite element analysis. One ongoing project is to develop low-complexity simplicial finite element methods based on Bernstein polynomials. These allow calculations on unstructured meshes with the same complexity as tensor-product elements, and also admit a wide range of different approximating spaces. How we do present such structured calculations to high-level finite element code? Work is in progress on FInAT, which, unlike FIAT, is not a tabulator.
Also, given the ability to solve one problem well, how do we solve two problems glued together? Multiphysics problems, both from the standpoint of theoretical analysis and the development of efficient preconditioners, are one way I utilize the ability of codes such as FEniCS.
In the application front
My students should check Canvas as the semester begins for course information.
- R. C. Kirby, “Fast inversion of the simplicial Bernstein mass matrix,” Numerische Mathematik 135:73–95 (2017) (arxiv: 1504.03990).
- C. J. Cotter and R. C. Kirby, “Mixed finite elements for global tide models,” Numerische Mathematik 133(2): 255–277 (2016) (pdf).
- B. W. Brennan and R. C. Kirby, “Finite element approximation and preconditioners for a coupled thermal-acoustic model, Computers and Mathematics with Applications 70(10): 2324 (2015)
- R. C. Kirby and T. T. Kieu, “Symplectic-mixed finite element approximation of linear wave equations,” Numerische Mathematik 130:257 — 291 (2015), DOI 10.1007/s00211-014-0667-4. (pdf)
- R. C. Kirby, “High-performance evaluation of finite element variational forms via commuting diagrams and duality,” ACM Trans. Math. Software 40(4):25:1–25:24 (2014) (pdf).
- C. Liaw, W. King, and R.C. Kirby, “Delocalization for the 3-D discrete random Schroedinger operator at weak disorder,” J. Phys. A: Math. Theor. 47(2014) (pdf).
- R. C. Kirby, “Low-complexity finite element algorithms for the de Rham complex on simplices,” SIAM J. Scientific Computing 36(2): A846–A868 (2014) (pdf).
- B. Brennan, R. C. Kirby, J. Zweck, and S. Minkoff, “High-performance Python-based simulations of trace gas sensors,” PyHPC 2013. (pdf)
- V. Howle, R. Kirby, and G. Dillon, “Block Preconditioners for Coupled Physics Problems”, SIAM J. Scientific Computing 35(5): S368–S385 (2013). (pdf)
- B. Brennan, V. E. Howle, K. Kennedy, R. C. Kirby, and K. R. Long, “Playa: High-performance programmable linear algebra,”Scientific Programming 20(3): 257 — 273 (2012). (pdf)
- P. Bochev, H. C. Edwards, R. C. Kirby, K. Peterson, and D. Ridzal, “Solving PDEs with Intrepid,” Scientific Programming 20(2): 151 — 180 (2012). (pdf)
- R. C. Kirby, and T. T. Kieu, “Fast simplicial quadrature-based finite element operators using Bernstein polynomials,” Numerische Mathematik 121(2): 261 — 279 (2012). (pdf)
- V. E. Howle and R. C. Kirby, “Block preconditioners for finite element discretization of incompressible flow with thermal convection,” Numerical Linear Algebra with Applications 19(2): 427 — 440 (2012). (pdf)
- R. C. Kirby, “Fast simplicial finite element algorithms using Bernstein polynomials,” Numerische Mathematik 117(4): 631 — 652 (2011). (pdf)
- K. R. Long, R. C. Kirby, and B. van Bloemen Waanders, “Unified embedded parallel finite element computations via software-based Frechet differentiation,” SIAM J. Scientific Computing 32(6):3323 — 3351 (2010). (pdf)
- R. C. Kirby, “From functional analysis to iterative methods,” SIAM Review 52(2): 269 — 293 (2010). (pdf)
- R. C. Kirby, “Singularity-free evaluation of collapsed-coordinate orthogonal polynomials,” ACM Trans. Math Software 37(1): 1 — 16 (2010). (pdf)
- M. E. Rognes, R. C. Kirby, and A. Logg, “Efficient assembly of H(div) and H(curl) conforming finite elements,” SIAM J. Scientific Computing 31(6):4130–4151 (2009). (pdf)
- A. R. Terrell, L. R. Scott, M. G. Knepley and R. C. Kirby, “Automated FEM Discretizations of the Stokes equations,” BIT Numerical Mathematics, 48(2):389–404 (2008). (pdf)
- R. C. Kirby and A. Logg, “Benchmarking domain-specific compiler optimizations for variational forms,” ACM Trans. Math. Software 35(2):1–18 (2008). (pdf)
- R. C. Kirby and L. R. Scott, “Geometric optimization of the evaluation of finite element operators”, SIAM J. Scientific Computing 29:827–841 (2007). (pdf)
- R. C. Kirby and A. Logg, “Efficient compilation of a class of variational forms”, ACM Trans. Math. Software 33(3):1– 20 (2007). (pdf)
- R. C. Kirby and A. Logg, “A compiler for variational forms,” ACM Trans. Math. Software. 32:417-444 (2006). (pdf)
- R. C. Kirby, A. Logg, L. R. Scott, and A. Terrel, “Topological optimization of the evaluation of finite element matrices,” SIAM J. Scientific Computing 28:224-240 (2006). (pdf)
- R. C. Kirby, “Optimizing FIAT with Level 3 BLAS,” ACM Trans. Math. Software. 32:223–235 (2006). (pdf)
- R. C. Kirby, M. G. Knepley, A. Logg, and L. R. Scott, “Optimizing the evaluation of finite element matrices,” SIAM J. Scientific Computing 27:741-758 (2005). (pdf)
- R. C. Kirby, “FIAT: A new paradigm for computing finite element basis functions,” ACM Trans. Math. Software. 30:502-516 (2004). (pdf)
- R. C. Kirby, “A new look at expression templates for matrix computation,” IEEE Computing in Science and Engineering, 5:66-70 (2003). (pdf)
- R. Kirby, “A posteriori error estimates for the mixed finite element method,” Computational Geosciences. 7:197-214 (2003). (pdf)
- R. Kirby, “On the convergence of high resolution methods with multiple time scales for hyperbolic conservation laws”, Math. Comp. 72:1239-1250 (2003). (pdf)
- C. Dawson and R. Kirby, “High resolution schemes for conservation laws with locally varying time steps”, SIAM J. Sci. Comput. 22:2256-2281 (2001). (pdf)
- C. Dawson and R. Kirby, “Solution of parabolic equations by backward-Euler mixed finite elements on a dynamically changing mesh”, SIAM J. Numer. Anal. 37:423-442 (2000). (pdf)
- C. Dawson, S. Bryant, and R. Kirby, “Dynamically adaptive upwind finite volume methods for contaminant transport,” Computational Methods in Water Resources XII, vol. 2, 641-648 (1998). (pdf)
I have contributed nine peer-reviewed chapters to the newly-released Springer book on the FEniCS project: Automated Solution of Differential Equations by the Finite Element Method (Logg, Mardal, Wells, eds).
Brian Brennan (defended at Baylor, March 2015): Numerical analysis of a multi-physics model for trace gas sensors. Now a Senior Data Analyst at Capital One.
Geoffrey Dillon (defended at TTU, June 2014): Schur complements and block preconditioners for coupled systems. Now at University of Minnesota.
Thinh Tri Kieu (defended at TTU, May 2014): Finite element methods for nonlinear wave equations. Now at University of Northern Georgia.
Andy Terrel (joint with Ridg Scott, 2007), now CTO at Fashion Metrics and President of NumFOCUS Foundation.