My research interests in applied mathematics centre on the development of methods that incorporate assurances of valid results into the design of the algorithm. In the context of symbolic computation, my current focus, the results of a computation by a computer algebra system (CAS) sometimes fail to be general without informing the user. An example of this is symbolic integrals of continuous functions that fail to be continuous. My interest in this area is the development of methods for which the symbolic result has the same generality as the analysis dictates or that inform the user of the limitations. In the context of numerical computation, the results of computations are typically either assumed to be valid or are validated using benchmark methods. An example of this is numerical solution of differential equations, which, for individual computations in practice, rarely have efficient a posteriori validity checks. My interest in this area is the development of methods that incorporate checks of validity into to the computational method.