Skip to content

@Inferara Inferara

Users following Inferara

@sam-thetutor
sam-thetutor
@JFWooten4
john.xlm JFWooten4
"Unless someone like you cares a whole awful lot, nothing is going to get better. It's not." 💜                — Dr. Seuss
@0xGeorgii
Georgii Plotnikov 0xGeorgii

@OpenZeppelin Milky Way

@jiangsy
Shengyi Jiang jiangsy
@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Computer Science / Interested in Formal Verification / Distributed Systems / Concurrency Theory

Germany

@werifu
Chen werifu
PL/SE/Web | PhD student of PurPL @Purdue

Purdue University West Lafayette, IN

@yksyd0319
Yokose yksyd0319
@SurfingBowser
Dom SurfingBowser
@Ruthwik2610
Ruthwik Krishna Bandreddy Ruthwik2610

Amrita Vishwa Vidyapeetham coimbatore

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. rising 2nd year Phd Student @Purdue.

West Lafayette

@lzy0505
Zongyuan Liu lzy0505
PhD student in formal verification

@logsem Aarhus

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris