Nadim Kobeissi
nadimkobeissi
THE CHAOS GROWS! ANOTHER PIECE OF THE PUZZLE, PUZZLE!
@symbolicsoft, @cure53berlin Paris, France
Michael Paulino
mi6paulino
Founder VIGIA.I ©️ tracking integrated data .
A.i Artist . my cashapp is $Mrveryviral if you want to buy me a coffee
Michael Paulino Solutions New York City
Walter Schulze
awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt.
Interests: LeanProver, Coq, Brzozowski's derivatives.
Stellenbosch University Stevenage, UK
Catalin Hritcu
catalin-hritcu
Tenured Faculty at MPI-SP
Max Planck Institute for Security and Privacy (MPI-SP) Bochum, Germany
George Pîrlea
dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.
Singapore
Thibaut Pérami
tperami
CS PhD student at the University of Cambridge
University of Cambridge Cambridge
Fehr Mathieu
math-fehr
Research assistant at the University of Cambridge. PhD student at the University of Edinburgh.
University of Cambridge Cambridge, UK