Ph.D. in CS (Universite Paris-Saclay).
Ethereum Protocol Fellowship 4th Cohort official member.
Compiler Engineer.
Michael Sproul
michaelsproul
Building Ethereum at Sigma Prime. I like types, specs and proofs.
@sigp Sydney, Australia
El De-dog-lo
fubuloubu
Maker of free range, fair trade, organic software for (not-so) smart contracts.
Juan Manuel Villavicencio
jmvillavicencio
Full-stack software engineer with over 10
years of experience