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, Sacramento, CA
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Tony Miller
mcfiredrill
ruby/js/elixir/rust/whatever
@datafruits @streampusher
freelance the fruitiverse