Specialization
- AI && ML → Agents; LLMs; RMs; Decentralized Train|Infer; AGI; Theorem Proving
- Blockchains → DeSci; Macro; MEV; Protocols; Game Theory; Cryptography; ZKPs
- Astrophysics → Quantum Field Theories; Group Theory; Astronomy; Cosmology
- Clean Code → Rust; Python; Solidity; Lean; Formal Verification; Infra; Algorithms
Experience
- Blockchain && AI Principal Software Engineer at ◼️◼️◼️◼️◼️◼️◼️◼️◼️ (stealth for now)
- Co-founded urani.trade, an R&D org for toxic-MEV minimization && DeFi gamification
- Blockchain Researcher && Engineer; XP from: Ethereum PSE, KeeeperDAO, Immunefi
- Founding Engineer of the Blockchain Team at Shopify (together with other shopifolk)
- Senior Software Engineer: Shopify; Apple (CoreOS); Etsy (Sec team); Yelp (Sec team)
- Ph.D. Graduate Researcher at Los Alamos and Brookhaven NY National Laboratories
- Ph.D. in Theoretical Astrophysics at Stony Brook University (full scholarship + tuition)
- Undergrad (summer) Research Scholarship at NASA Goddard Space Center && CUA
- B.Sc. Physics at the University of Sao Paulo (Engineering School → Physics Institute)
Nerdhood
- Peer-reviewed scientific publications: with Los Alamos; with Brookhaven; and others
- Post-graduate e-books: Group Theory; Quantum Field Theory; Quantum Information
- Cypherpunk Symposium: R&D org with my projects on Blockchains, Privacy, Physics
- Book: Python and Algorithms (published by Hanbit); ex-blog: chmod +x singularity.sh
- Speaker: DEF CON on Hacking Quantum Cryptography; gray hat hacker for 20+ years
- ESA '14; CERN '09; Simons Math '08 + '09; 1st at MOSTRATEC (with expert systems)
- First website (mid-school) was fly.to/bytegirl; first Linux distribution was Conectiva
- Start reading at 4; 1st computer: i386 with MS-DOS; 800/800 Quant && Physics GRE