François Schwarzentruber
francoisschwarzentruber
Developer of @tableaunoir (and by duality of @tableaublanc)
ENS de Lyon Lyon, France
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formal verification using proof assistants.
CISPA Helmholtz Center for Information Security Saarbrücken
Charles Cianos (Charlie)
ccianos
Wassup friends! I'm Charlie, a beautiful Homo Sapien of hominization only for peace. BLM, BIPOC, LGBTQ+, the Working Class, the Poor, and the Homeless matter.
Hagginwood and Del Paso Heights, Sacramento, CA
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Alexander Salas Bastidas
ajsb85
Engineering Applications of Artificial Intelligence 🧠
@firechip Barcelona, Spain
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Tony Miller
mcfiredrill
web dev / graphics+music / native / gamedev
@datafruits
freelance the fruitiverse