June 2026 Extracting certified programs from type-theoretic proofs in analysis and topology
April 2026 Spaces of Sequences in Computable Analysis and Applications to Differential Equations
December 2025 Verified Computation of ODE Trajectories in Rocq
September 2025 A Verified Power-Series Method for Multivariate IVPs
September 2024 Extracting efficient programs from proofs in analysis
August 2024 Solving differential equations in exact real arithmetic and applications to high-precision computation
July 2024 Extracting solution operators for polynomial ODEs from proofs
April 2024 Advances in certified exact real computation and its formalization
March 2024 Applications of Exact Real Computation in Particle Physics
October 2023 計算可能解析学とCoq / Computable Analysis and Coq
September 2023 Advances in verified set and function calculi in Coq
August 2023 Formalizing Hyperspaces for Extracting Efficient Exact Real Computation
June 2023 Extracting sound computation over hyperspaces
June 2023 Extending cAERN to spaces of subsets
September 2022 Certified Exact Real Computation on Hyperspaces
June 2022 From Coq Proofs to Efficient Certified Exact Real Computation
March 2022 Extracting exact real computation programs from proofs in type theory
January 2022 An application of constructive dependent type theory to certified computation over the reals
November 2021 Toward an interpretation of Intutionistic Fixed Point Logic in Coq
October 2021 Axiomatic Reals and Certified Efficient Exact Real Computation
September 2021 IFP style proofs in the Coq proof assistant
March 2021 Computable analysis and exact real computation in Coq
December 2020 Computable Analysis for Verified Exact Real Computation
February 2020 Computable analysis and verified exact real computation in Coq
LA Symposium, Kyoto, Japan
October 2019 Computable analysis and verified exact real computation in Coq
September 2019 Computable analysis, exact real arithmetic and analytic functions in Coq
July 2019 Formal proofs about metric spaces and continuity in Coq
April 2019 Second-order linear-time complexity and applications to computable analysis
March 2019 Some formal proofs of isomorphy and discontinuity
September 2018 Second-order linear-time computability
Continuity, Computability, Constructivity, Faro, Portugal
September 2018 Computable analysis and computability in linear time
August 2018 Average-case polynomial-time computability of Hamiltonian dynamics
July 2018 Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving
July 2018 Applications of average-case complexity in analysis
LA Symposium, Chiba, Japan
March 2018 Average Case Complexity for Hamiltonian systems
IEICE General Conference - Student Symposium, Tokyo, Japan
March 2018 Some results on the computational complexity of noisy dynamical systems
November 2017 Average Case Complexity for Hamiltonian systems
July 2017 Average Case Complexity for the N-body problem
June 2017 Average Case Complexity and Hamiltonian dynamical systems
June 2017 Average Case Complexity for the N-body problem
September 2016 Analytic Functions and Small Complexity Classes
August 2016 Data-types for Multidimensional Functions in Reliable Numerics - Implementations Inspired by Real Complexity Theory
June 2016 Analytic Functions and Small Complexity Classes
May 2016 Analytic Functions and Ordinary Differential Equations in Exact Real Arithmetic
May 2016 On data-types for multidimensional functions in Exact Real Arithmetic
PhDs in Logic VIII, Darmstadt, Germany
May 2015 Analytic continuation in iRRAM
September 2014 Analytic functions in iRRAM