I am a computational engineer doing research on decision making in complex systems. My research aims to make progress in fundamental questions arising at the intersection of autonomy, uncertainty, 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

‍🏫   I am a mentor for the Adjoint School; consider applying.