I’m currently working at Informal Systems as Software Engineer on the Cosmos Hub.

At the Cosmos Hub …

I’m working on building out new Hub features
Making sure that we have quality releases
Hurding all the that need hurding

In my spare time …

• I’m working on building out a number of productivity apps and language learning tools
• I’m currently learning more about DAO’s, CosmWasm and the ever evolving Cosmos ecosystem …
• I’m interested in formal methods and functional programming with languages such as F#, Clojure, Haskell or Elm … and working in technical and scientific domains …