Research

Structure carried
across borders.

The method stays the same when the subject changes: find a structure that is mature in one discipline and notice that it answers an open question in another. The research papers are sole-authored and written alongside full-time engineering.

Published

  • Mathematical Biosciences Transition-pair structure and near-extremal third-position transition robustness in the standard genetic code 2026
  • Aust. Soc. Computers & Law J. Empowerment by design: using technology to enable better decision making. With L. Thomas. Vol. 93, pp. 28–30. 2021

In review

Under peer review means the paper is with referees. Submitted means it is with the editors.

  • Discourse Beyond the Madeleine: The Space-Image and David Lynch’s Spatial Inversion of Proustian Involuntary Memory Under peer review
  • J. Mathematical Biology Majorization and its limits: fixed-spectrum optimality of the genetic code’s box structure Submitted
  • Philosophy and the Mind Sciences The Price of a Theory of Consciousness: Access, Privacy, Composition, and Non-Triviality Submitted
  • Metaphilosophy When Is Philosophical Convergence Structurally Available? Quotient Stability and the Boundaries of Convergence Analysis Submitted
  • Nordic Wittgenstein Review The Ladder as Diagonal: Self-Application, the Formalising Ambition of the Tractatus, and the Escape to Language-Games Submitted
  • TMLR The Confounder Both Arms Shared: A Pre-Registered Transfer Result and Its Pre-Registered Refutation Submitted

Formal mathematics

Ten merged pull requests to Mathlib, the Lean 4 library, mostly Cartan matrices toward the Killing–Cartan classification, plus the Lawvere fixed-point theorem. See the pull requests.