# Biography

Akitoshi Takayasu obtained in PhD from Waseda University in 2012 supervised by Prof. Shin'ichi Oishi. After working as a postdoc in Waseda University, he got a position of Assistant Professor at University of Tsukuba in 2016. His research interests consist of rigorous numerics for PDEs, DDEs, and ODEs, and computer-assisted proofs in infinite dimensional dynamics with the tools of rigorous numerics.

# Research interests

Numerical analysis, rigorous numerics, infinite dimensional dynamical systems, computer-assisted proofs, partial differential equations, delay differential equations, ordinary differential equations