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
Lee Man
lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab
Southeast University Shenzhen
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
Masahiro Sakai
msakai
Computer science researcher.
Interests: Functional Programming, SAT/SMT Solvers, Machine Learning, Logic, Category Theory, Mathematical Optimization.
Preferred Networks, Inc. (@pfnet) Kawasaki, Japan
Zhiyang Ong
eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs
Design Automation Renegades In passato, vicino al Dolomiti
Markus N. Rabe
MarkusRabe
Researcher at Google, previously worked at UC Berkeley and Saarland University.
University of California, Berkeley Berkeley, CA, USA