HigherOrderCO
HigherOrderCO
we are getting to the very core of what makes computers capable of reasoning.
Evan Sultanik
ESultanik
Computer scientist currently focusing on security, specifically automated program analysis. Editor of and frequent contributor to PoC||GTFO.
@trailofbits Philadelphia, PA
Alex
wadealexc
Oolong maximalist. Bouldering enthusiast. Certified dog evaluator. Prev: security researcher at Consensys Diligence.
Jonathan Salwan
JonathanSalwan
Program analysis, reverse engineering and vulnerability research
France
Daniel Micay
thestinger
Security researcher/engineer working on mobile privacy/security. Founder of @GrapheneOS.
@GrapheneOS Toronto, Ontario, Canada
Alex Groce
agroce
Associate professor of computer science, software testing researcher;
"Thought is a labyrinth."
Northern Arizona University (SICCS) Flagstaff, AZ
Tomasz Kolinko
kolinko
Doing blockchain stuff since 2012, most notably Eveem.org - smart contract decompile, Orisi.org - the first ever and short lived decentralised oracles project.
Eveem.org Warsaw / San Francisco
Mario Alvarez
mmalvarez
I'm a Formal Verification and Programming Languages researcher who focuses on Blockchain technologies
@OffchainLabs




