CakeML
Rafael Escrich
rafaelescrich
Blockchain Engineer, Cryptography enthusiast and studied Information Systems @ Universidade Federal de Santa Catarina in Florianópolis, Brasil
@dfb-chain Florianópolis
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Cyber Threat Defence Lab
cybersecurity-dev
Cyber Security Solutions
KU Leuven - Computer Security and Industrial Cryptography Belgium
Omar Jatoi
omarjatoi
Dedicated, in respect and admiration, to the spirit that lives in the computer.
@Groq
Vegard Fjellbo
Fencekeeper
Mathematician (topologist) working as a Senior Consultant at the Insight & Analytics Dept of Webstep. Based in Oslo.
Webstep Norway
Dirk Arnez
dirkarnez
Freelance Software Engineer | Composer | Mixer | Multi-instrumentalist
Freelance Hong Kong
Eric Patrizio
epatrizio
R&D software engineer. Programming languages design enthusiast.
@sismicfr Paris - France
