cvc5
Users following cvc5
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.
IP Logic Design Engineer. AI enthusiast.
Intel Corporation Cartago, Costa Rica
Dirk Arnez
dirkarnez
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 architect at ARM. Designed QARMA. Chaotic good. Notorious craic killer.
Munich, Bavaria, Germany
Clexma
SpencerL-Y
A Phd. candidate of ISCAS, University of China Academy of Sciences (UCAS) .
Institute of Software, CAS Beijing
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
