π¨βπ 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 ...