About

I am a developer (ex-researcher) interested in everything but mostly: - formal software engineering: whatever makes computers more robust. - multipath networking: think TRILL, LISP, Multipath TCP (multipath QUIC ?)

Contributor of neovim, I love nixos and currently trying to make data analysis more approachable in haskell.