Research



    Computational Mathematics



    Uncertainty Quantification in Biomedical Problems



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



    Application of Formal Methods to High-Performance Computing

  

 
Last Updated: 10/03/10