I am a new PhD student in mathematics. I did my master's in computational theory for spectral problems. In my PhD I will be working on theoretical foundations for using machine learning in functional analysis, computer assisted proofs and the solution of PDEs under the supervision of Anders C. Hansen.