CakeML
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Cyber Threat Defence Center
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.
UTC-5
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
