Mike Botchev (Bochev) -chair Mathematics of Computational Science (MaCS) - works on efficient linear algebra solvers, especially for situations where many similar linear systems have to be solved approximately, for example, in implicit time integration, matrix function evaluations and inexact Newton solvers.  He has worked on preconditioning for linear systems and efficient time integration methods for problems stemming from plasma physics, air pollution modeling and electromagnetism.