Charles Averill
CharlesAverill
UTD CS PhD, losing my mind grading
@SoftwareLanguagesSecurityLab Dallas
Ryan Williams
ryan-williams
Technical staff @Open-Athena, transit advocacy @hudcostreets
Open Athena Jersey City
Zhiyang Ong
eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs
Design Automation Renegades In passato, vicino al Dolomiti
Patrick Nicodemus
patrick-nicodemus
Computational biology in Python and R.
Formally verified mathematics in Coq.
University of Pennsylvania Philadelphia, Pennsylvania
Nicholas Martin Cirelli
ncirelli87
Nikimoto - Creator of the first private cloud hybrid server in 2012 in Austin TX. I love to create new web technology! Created many web apps used today!
Nickoftimeweb.design Katy Texas
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
turinglabs
turinglabsorg
Polyhedric blockchain (and AI) developer | Bitcoin First | ETH Maxi | 🦀 Rust lover | Code like hell because you can -- no excuses.
Michael Wickerson
mwickerson
THE COMPLETE GRASSHOPPER ARCHIVE
100+ REPOSITORIES
at www.wickersonstudios.com
FOR PRIVATE AND EDUCATIONAL USE ONLY***
Wickerson Studios Kansas City
Oussama Ben Sassi
Oussama1403
Research Master’s Student in Intelligent Systems | Aspiring AI Researcher 🖤
Gafsa-Tunisia
Simone Paolucci
Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source
Italy
Tom Ridge
tomjridge
Ex-academic. Currently working as a programmer, particularly with OCaml, golang, Python, AWS. Interested in reliable systems.
UK
PreviousNext