Haiyan Cheng Assistant Professor Department of Computer Science Willamette University 900 State Street Salem, Oregon, 97301 Email: hcheng (at willamette dot edu) Phone: (503) 375-5339 Office: Ford 207

Research Interests

• Scientific computing
• Hybrid numerical methods for data assimilation.
• Uncertainty quantification and reduction techniques for large-scale simulations
• Evidence theory, fuzzy logic

Teaching

• CS-141-Introduction to programming
• CS-451-Topics in computer science
• CS-343-Analysis of Algorithms
• CS-495-Senior Seminar

Education

• Ph.D. Computer Science, Virginia Tech, Blacksburg, Virginia
  Dissertation title: Uncertainty Quantification and Uncertainty Reduction Techniques for Large-scale Simulations
• M.S. Computer Science, University of Windsor, Windsor, Ontario, Canada
  Thesis title: Authorization-enhanced Security Framework for Open Grid Services Architecture (OGSA) Support
• M.S. Applied mathematics, Michigan Technological University, Houghton, Michigan
  Thesis title: A Numerical Study of Image Reconstruction using Conjugate Gradient Method.
• B.S. Computational mathematics and applied software, Inner Mongolia University, China

Publications

• Sandu, A. and Cheng, H. A Subspace Perspective on Data Assimilation and New Opportunity for Hybrid Algorithm. Submitted to Physica D, 2010.
• Cheng, H., Jardak, M., Alexe, M., and Sandu, A. A Hybrid Approach to Estimating Error Covariances in Variational Data Assimilation. Tellus Series A:Dynamic meteorology and Oceanography, Volume 62, Issue 3, May, 2010, Pages 288-197.
• Cheng, H. and Sandu, A. Uncertainty quantification and apportionment in air quality models using the polynomial chaos method. Environmental Modelling & Software, Volume 24, Issue 8, August 2009, Pages 917-925.
• Cheng, H. and Sandu, A. Efficient uncertainty quantification with the polynomial chaos method for stiff systems, Mathematics and Computers in Simulation, Volume 79, Issue 11, July 2009, Pages 3278-3295.
• Cheng, H. and Sandu, A. Numerical study of uncertainty quantification techniques for implicit stiff systems. ACM Southeast Regional Conference. Proceedings of the 45th annual southeast regional conference Winston-Salem, North Carolina, 2007, Pages 367-372.
• Cheng, H and Bertram, B. On the stopping criteria for conjugate gradient solutions of first-kind integral equations in two variables. Integral Methods in Science and Engineering, Boston, 2002.
• Bertram, B and Cheng, H. On the use of the conjugate gradient method for the numerical solution of first-kind integral equations in two variables. Integral Methods in Science and Engineering, Boston, 2002.