Users following diffblue
Matéo H. Petel
fraware
Curiosity.
________________________________________________________________________________________
Stanford | NASA JPL | Oxford | ENS
Stanford
El HATIMI Zakaria
Zack4DEV
Software Developer, enthusiast with DevOps ,CI and CD.
@Zeh4DEV Rabat ,Morocco
Bharat Varshney
BharatVarshney12
Technical Lead | 9+Yrs in QA Testing | Team Leader & Mentor | Agile, DevOps & CI/CD Expert | Driving AI-Powered Test Innovation & Quality
AArete Technosoft Pvt Ltd dwarka, delhi
Thejas K G
thejas235689
focused Design Verification Engineer, To bring a unique blend of practical experience, a passion for continuous learning and an unwavering commitment to explore
Bangalore
wenlong
aogrcs
focus in verification of real time embedded control system using static analysis, theorem proving
Paul Crane
pcrane
Computer scientist who enjoys teaching and working alongside others with different skill-sets. Most of all, likes rising to a technical challenge.
@diffblue Oxford, UK
Robert (Jamie) Munro
rjmunro
Web developer with over 20 years experience in the field. Formerly at @diffblue, @whiteoctober and @Focusrite-Novation
Oxford, UK
Ramneet Singh
Ramneet-Singh
Senior Undergraduate @ CSE IIT Delhi. My research interests include Programming Languages and Machine Learning.
New Delhi, India
James R T
jamestiotio
"Any sufficiently advanced technology is indistinguishable from magic." - Sir Arthur Charles Clarke
@facebook The edge of knowing
mocenigo
mocenigo
Father, Composer, Mathematician, Cryptologist. Former architect at ARM. Designed QARMA. Chaotic good. Notorious craic killer.
Munich, Bavaria, Germany
LI Min
lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab
Southeast University 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
PreviousNext