About

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 Valid CSS tilde.club/~mjk

© 2024 Matthew Kukla RSS feed