Highlights
- Pro
Lee Man
lee-man
Focus on Hardware Formal Verification Now.
HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D. Shenzhen
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
Leo the Horseman
Bettercallleo819
LLM learner(pending) | On-chain Arbitrager
Tsinghua University Beijing, China
Cheng JIANG
GopherJ
Rust, CUDA/SIMD, TypeScript, Solidity, Go Developer.
ZK Engineer @QEDProtocol @L2Ordinals
ex-Core @parallel-finance @para-space @Ubudu @casbin
@QEDProtocol c(x, w) = 0
Arshan Khanifar
ArshanKhanifar
Engineer
Currently at @ritual-net
Previously:
Polychain Capital, Waveform, Apple, FreeBSD
Toronto, Ontario, Canada
Guangyu (Gary) HU
Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.
The Hong Kong University of Science and Technology Hong Kong
Hao Xiang
XHwind
Deep Learning | Computer Vision | Autonomous Driving
@UCLA @UCSD @Fudan California, US
Hongce Zhang
zhanghongce
Princeton ECE Alumnus,
Assistant Professor @ HKUST(GZ)
Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China