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),
Deep Learning, Convergence Analysis, Quantum Systems, Optimal Control.
Splitting and Composition Methods, Krylov Subspace Methods, Lie Group Methods, Geometric Numerical Integration.
Geometric Computer Vision, Proof Systems and Formal Verification, Programming Language Design.