Rayhan Momin
rmmomin
Public/Personal Projects | Views are my own | Finance PhD UChicago Booth
University of Chicago New York, NY
hsc
sierpinskiii
Strength of character, taste, the “world”, classical happiness, severe pride, the cold frugality of the wise.
Keio University Tetrahedron, 5F Totem Pole
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Henry Blanchette
rybla
programming languages, formal verification, game dev, game theory
CS PhD student at UMD Washington, DC
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL