Coding Theory, Complexity Theory, Automated Theorem Proving
I am studying applied nonlinear PDE, with a particular interest in turbulence arising from NS and MHD equations.