🎯
Focusing
Since 2016, i have been actively in the IT field. Ambitious programmer, who likes programming and exploring new stuff. Strimzi maintainer.
Philip Offtermatt
p-offtermatt
PhD in formal verification/theoretical compsci | Research Engineer @informalsystems working on the Cosmos Hub
Munich
Romain Ruetschi
romac
Rust • Scala • Haskell — Formal Methods • FP • Type Theory • Distributed Systems
Lausanne, Switzerland
Gabriela Moreira
bugarela
Research Engineer at @informalsystems working on Quint
@informalsystems Joinville, SC - Brazil
Benjamin Elder
BenTheElder
Maintaining @kubernetes things. Kubernetes Steering Committee, SIG K8s Infra TL, SIG Testing TL, sigs.k8s.io/kind creator / maintainer ...
@Google Sunnyvale, CA
Yue Yang
g1eny0ung
Enjoy life in your own way. 🎐
Maintainer of @chaos-mesh.
Former @pingcap.
Beijing, China