I am a researcher at BlueHalo Labs and The Math Citadel.

My work revolves broadly around topics in category theory, mathematical logic, algebraic topology, and scientific computing.

CV: [pdf]

This website was written in vi. tilde.club Formal
methods now! Viewable with any browser. Valid HTML5.

© 2023 Matthew Kukla RSS feed