Sitemap

• About
• Publications
• Curriculum vitae

Papers

• Linear Axiomatization of Linear Differential Equations

• A Deductive Refinement Calculus for Differential-Algebraic Programs

• Differential Equation Inductive Robustness Axiomatization

• The Geometry of Computable Banach Spaces

• From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes

• Axiomatization of Compact Initial Value Problems: Open Properties

• Automated Symmetric Constructions in Discrete Geometry

• Unfolding Boxes with Local Constraints

• Approximate Axiomatization for Differentially-Defined Functions

• Some Open Questions and Recent Results on Computable Banach Spaces

• Efficient Sink-Reachability Analysis via Graph Reduction

• Descriptive Combinatorics, Computable Combinatorics, and ASI Algorithms

• Computability-theoretic complexity of effective Banach spaces