My original background was in Computer Science, where I spent 10 years (including experience in the industry), before moving to the world of Mathematics. My research interests lie broadly at the intersection of these two fields.
Numerical Methods for Evolutionary Equations (PDEs, ODEs, SDEs),
Simulation of Quantum Systems (Spins, NMR, Atomic & Molecular Systems), Optimal Control and Design, Convergence Analysis.
Splitting and Composition Methods, Krylov Subspace Methods, Deep Learning, Numerical Optimization, Lie Group Methods, Geometric Numerical Integration
Proof Systems and Formal Verification, Programming Language Design, Geometric Computer Vision.