cvc5
Users following cvc5
yongzhen.wang
kingfs
5qyi6L+O5oqV6YCS566A5Y6GIG1haWx0bzogeW9uZ3poZW4ud2FuZ0BjaGFpdGluLmNvbQo=
Beijing
Ankit Kumar
0xankit
Blockchain developer by profession, Infosec Infosec enthusiast by passion!
Enoda Edinburgh
Suhyok Yoon
wintrover
Founder building infrastructure for trustworthy AI-generated software
Axiom Seoul
fermiq
FermiQ
Im an InterGalactic Dust Particle; hanging on a Limited LifeSpan; anticipating a LightYr. old Ray of Luv 2 Consummate me with QFT; QT; QC; & Mode Collapsing AMI
Science Neutrino
Erick Andrés Obregón Fonseca
ErickOF
Computer Engineering.
MSc. in Electronics student.
SoC Design Engineer. AI enthusiast.
Intel Corporation Cartago, Costa Rica
Dirk Arnez
dirkarnez
Electronic Enginner | Freelance Software Engineer | Composer | Mixer | Multi-instrumentalist
Freelance Hong Kong
Dirk Roeckmann
diro5t
Comp. Scientist, IT Manager, Consultant, SAP Expert,
Indep. AI Researcher,
AI = Deep Learning + Causal Inference + Symbol Manipulation, Deep Quadric Learning
Pittsburgh
Alcides Fonseca
alcides
Associate Professor at University of Lisbon, Portugal
Researcher at LASIGE
LASIGE, University of Lisbon Lisboa, Portugal
mocenigo
mocenigo
Father, Composer, Mathematician, Cryptologist. Former security architect at ARM, now back at Qualcomm. QARMA. Kyber. Chaotic good. Notorious craic killer.
Qualcomm Munich, Bavaria, Germany
Clexma
SpencerL-Y
A Phd. graduated from Institute of Software, CAS. Currently I am a QA engineer in bd.
bd Shanghai
DJ
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.
Lafayette, Indiana
