Mike Kirby - Research

Research

Computational Mathematics - Nektar++

The goal of this effort is the development (theoretical and algorithmic) and implementation of high-order finite element methods.

Computational Modeling and Simulation of Biological Systems

The goal of this effort is to bring together computational scientists and mathematical modelers to solve a multifaceted multiscale problem in human physiology. Our research goal is to cross-validate the continuum model of the PAC cascade against a fully-realized discrete model, with the long-term goal being the validation of these models against experimental data.

Mapping Scientific Computing Algorithms to GPUs and Intel Phi

The goal of this effort is the development (theoretical and algorithmic) and implementation of different scientific computing algorithms to streaming multiprocessors.

Uncertainty Quantification in Biomedical Problems

The goal of this effort is to employ computational uncertainty modeling techniques in biomedical problems.

Uncertainty Quantification in Material Science Problems

The goal of this effort is to employ computational uncertainty modeling techniques in material science problems.

Visualization Techniques for High-Order Finite Element Methods and Stochastic Finite Element Methods

The goal of this effort is to develop visualization techniques which exploit the mathematical structure of high-order and stochastic finite element methods. Three specific efforts are: (1) the development and implementation of ElVis -- our high-order finite element visualizer; (2) our work on Smoothness-Increasing Accuracy-Conserving Filtering Methods for discontinuous Galerkin methods (DGM); and (3) computation and visualization of stochastic finite element data.
Collaborators:

Application of Formal Methods to High-Performance Computing (2006 - 2009)

The goal of this effort is to apply formal methods to the debugging and optimizing MPI libraries and MPI-based high-performance computing codes.

Last Updated: 06/08/17