wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Mahmoud Rusty Abdelkader
mahmoudimus
Cryptography, Reverse Engineering, Fintech and Privacy
United States
Kartik Singhal
k4rtik
Programming Languages, Quantum Computing, Systems, and more. In superposition with @qartik.
Chicago, IL