**Collection of Talks ** This is a collection of talks I gave in conferences and meetings. - [AI and Mathematics: How Should We Learn, Prove, and Do Mathematics Now?](ai-and-mathematics/index.md.html), University of Illinois Springfield, 2026. ([PDF](ai-and-mathematics/AI-and-Mathematics-Talk.pdf) · [LaTeX source](ai-and-mathematics/ai-and-mathematics-talk-src.zip)) - [Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs](ripple/index.md.html), 32nd International Conference on DNA Computing and Molecular Programming, Fayetteville, 2026. ([PDF](ripple/ripple-talk.pdf) · [LaTeX source](ripple/ripple-talk-src.zip)) - [Bounded Analog Complexity](bounded-analog-complexity/index.md.html), 32nd International Conference on DNA Computing and Molecular Programming, Fayetteville, 2026. - [Computing Real Numbers with Large-Population Protocols Having a Continuum of Equilibria](DNA28/DNA28.md.html), DNA 28, New Mexico, 2022.

[Past](Past/past.md.html)