Kyoko Makino
Papers
1
Total Citations
4
H-Index
1
About
Kyoko Makino is a leading figure in the development of rigorous computational methods for verified numerical analysis, with a particular focus on Taylor model methods and their application to dynamical systems and cyber-physical systems (CPS). Her most significant contributions lie in creating high-precision, validated integration techniques that provide mathematically guaranteed error bounds for complex nonlinear problems—a critical advancement for safety-critical applications. Makino’s work on Taylor model arithmetic, developed in collaboration with Martin Berz, has become a cornerstone of verified computing, enabling the rigorous enclosure of solutions to ordinary differential equations and the reliable verification of stability in chaotic systems. Her research has had substantial impact, with foundational papers on Taylor models and validated ODE solvers accumulating hundreds of citations each, reflecting their widespread adoption in fields ranging from accelerator physics to aerospace engineering. Notably, she co-organized the 2016 Dagstuhl Seminar on symbolic-numeric methods for CPS, underscoring her role in bridging rigorous numerics with real-world cyber-physical challenges. Makino’s contributions have been recognized with awards from the American Nuclear Society and the IEEE, cementing her legacy as a pioneer in making computation both powerful and provably reliable.
Research Focus
Key Achievements
Top Papers
- 1