Runtime Verification Inc.
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer
Previously Apple Pay Security
Lafayette, Indiana
Musab Alturki
malturki
Senior Blockchain Lead @ π² | Pi Squared Inc. | Formal software systems modeling, design, and verification
@Pi-Squared-Inc Champaign, IL
Ciarán Dunne
ciaran-matthew-dunne
enjoyer of set theory, proof assistants, formal mathematics.
ENS Paris-Saclay Paris, France
Marquivion Orr
Marqui-13
software engineer with expertise in various fields including blockchain, web3, AI, full-stack development, creative development, cryptography, and quantum
Iowa, United States
Mohsin Arif
mhsn1
Fullstack Developer (Python | React) | Ethical Hacker | Automation Expert
TryHackMe Top CTF Performer | Building secure, real-world systems
Karachi, Pakistan
Guanzhou Hu
josehu07
Amazon Web Services Seattle, WA
Ironman
kNightRunner
If My Calculations Are Correct, When This Baby Hits 88 Miles Per Hour, You're Gonna See Some Serious Sh**
Bank/Blockchain Autonomous City of Buenos Aires
M4tr1xt4ng
MATRIXKOO
Semi-Programmer | Vegetable PLer｜ Working on PLDI
@Vidar-Team @InProgramming @earth
