Nadim Kobeissi
nadimkobeissi
OH, IT'S JUST A SIMPLE NUMBERS GAME.
@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
Mathieu Fehr
math-fehr
PostDoc at the University of Cambridge. Working on compilers and formal verification.
University of Cambridge Cambridge, UK