I am a computational engineer doing research on enhancing the robustness, interpretability, and generalization of cybernetic systems. In particular, my research aims to make progress in fundamental questions arising at the intersection of trustworthy autonomy, sociotechnical environments, and the mathematics of interconnection, composition, relation and translation.

Responsible development for the physical world   Increment; 2021
a case for designing software with safety and formal methods in mind

Turing categories   The n-Category Café; 2019
what is the connection between computation and category theory?

Contact me  |   Hack my code  |   Read my preprints and publications