A solution generator, a musician and a day dreamer.

IOS Engineer

Software architect and project manager. Obsessed with complex systems, data, urban architecture and other things. Editor of Misaligned.

PhD @ Columbia researching AI & system security | https://github.com/h5i-dev/h5i (Axum‑based Rust web framework designed for formal verification with Lean 4)

Writing words, writing code. Sometimes doing both at once.

-