Kevin Zhou
Research Associate
Greater Cambridge Area United Kingdom
Summary
👤
Senior🎓
Top SchoolKevin Zhou is a Research Associate at the University of Cambridge with a decade of experience in binary translation, reverse engineering, compiler optimization, program analysis and parallelization, grounded in an earlier hardware-focused background. He holds a PhD in Computer Science and an MPhil with distinction from Cambridge, and a first-class BEng in Computer Science and Electronics from Bristol. Kevin’s industrial experience at Arm includes porting DynamoRIO to AArch64 and FPGA-oriented processor/interface design and verification, highlighting a rare blend of low-level software tooling and RTL-level hardware work. He excels at turning complex program-analysis problems into practical tooling and optimizations, often bridging the gap between compiler theory and deployable systems. Colleagues value his deep technical rigor and ability to navigate both firmware/hardware constraints and advanced compiler research.
9 years of coding experience
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at University of Cambridge90+, 90+ at Shandong Experimental High SchoolBachelor of Engineering (BEng), Computer Science and Electronics, First Class Honours, Bachelor of Engineering (BEng), Computer Science and Electronics, First Class Honours at University of Bristol
Github Skills (10)
instrumentation10
simulator10
profiling10
linux9
windows9
parallel-processing8
abstract-interpretation7
static-analysis6
python6
program-analysis6
Programming languages (2)
Github contributions (2)
CompArchCam/Janus
Feb 2019 - Aug 2019
Automatic Binary Parallelisation
Contributions:4 commits, 1 push in 5 months
pythonanalysisparallelisationparallel-processingabstract-interpretation
DynamoRIO/dynamorio
May 2016 - Sep 2018
Dynamic Instrumentation Tool Platform
Contributions:3 comments, 2 issues in 2 years 4 months
instrumentationbinary-analysisprofilingwindowslinux
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.