Alexandre Garcia de Oliveira
romefeller
Seeking knowledge on Blockchain, Formal verification, Proof Assistants, Haskell, Type Theory, HoTT, Agda, Rust, Coq, Category Theory, and Isabelle
Formal Land - Romefeller - Fatec Rubens Lara
Rahu! 🇮🇳
rxhul18
こんにちは、友達! 💁🏻♂️
I write code 🚀, play guitar, develop software, and explore new places!!
Earth
Λ卩卩ㄥ乇-千尺丨ㄒㄒ乇尺 эпл-фриттер
apple-fritter
Please be kind to others and yourself! Peace and forgiveness!
Пожалуйста, будьте добры к другим и к себе! Мир и прощение!
Professional Volunteer Seattle, USA
Yunkai Zhang
YunkaiZhang233
3rd Year Computing Student at Imperial College London
Imperial College London London
< cr-eative-dev />
cr-eative-dev
Software Engineer @peaqnetwork • Rust / Solidity / Typescript • 3D Artist • Designer • @Polkadot-Blockchain-Academy #6 Lucerne Graduate • PBA-X Cohort #1 Alumni
@peaqnetwork
Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Quang Dao
quangvdao
Formal verification for cryptography.
PhD Student at Carnegie Mellon University
Pittsburgh, PA
PreviousNext