UCLID5
Users following uclid-org
Yufeng Li
CrazybinaryLi
“If I knew what I was doing, it wouldn't be called research.” - Albert Einstein.
Institute of Computing Technology, Chinese Academy of Sciences NO. 6, Kexueyuan South Road, Zhongguancun,Beijing, P.R.China
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
LI Min
lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab
Southeast University Shenzhen
Alun Cennyth Stokes
aluncstokes
Dessins d'enfants, graph embeddings (metric kind), and various machines learnings. Most repos are private by necessity (for now). I study number theory.
Gift Horse Mouth Inspections Hamilton, Ontario
Logica Magna
lichye
PhD Student
Interest: Formal Method & Architecture.
University of Edinburgh Edinburgh
