Alexandre Joannou
Senior Researcher at University of Cambridge
Greater Cambridge Area United Kingdom
Summary
👤
Senior🎓
Top SchoolAlexandre Joannou is a Senior Researcher in secure computer architecture based in the Greater Cambridge area with 13 years of research and engineering experience focused on hardware capability systems and the CHERI project. He holds a PhD in Computer Architecture from the University of Cambridge and has progressed there from PhD candidate to research associate and now senior researcher, blending deep academic rigor with applied system design. His background spans micro-architecture research in French labs and practical engineering internships, giving him a rare mix of theoretical security models and hands-on implementation experience. Known for tackling low-level security primitives, he brings expertise in scalable synchronization mechanisms and capability-based hardware protection that inform both prototyping and long-term platform research. While his GitHub presence is understated, his career reveals sustained contributions to foundational secure-architecture work that often sit behind more visible software security advances.
13 years of coding experience
1 year of employment as a software developer
Electrical and Electronics Engineering, Electrical and Electronics Engineering at Concordia UniversityBusiness Administration and Management, General, Business Administration and Management, General at UCIMaster, Electronic Systems, Informatics Systems (SESI), Master, Electronic Systems, Informatics Systems (SESI) at Université Pierre et Marie Curie (Paris VI)Doctor of Philosophy (PhD), Computer Architecture, Doctor of Philosophy (PhD), Computer Architecture at University of CambridgeDiplôme d'Ingénieur (Degree of Engineering, equiv. Master), Computer Science, Electronics, Embedded Systems, Diplôme d'Ingénieur (Degree of Engineering, equiv. Master), Computer Science, Electronics, Embedded Systems at Ecole centrale d'Electronique
French, English
Github Skills (119)
quickcheck10
risc10
specification10
linux10
instruction-set10
risc-v10
verification10
freebsd10
bluespec9
mips9
fpga9
testing9
verilog9
v-model9
low-level9
Programming languages (18)
Github contributions (5)
gameboo/blarney
Feb 2019 - Nov 2021
Hardware description in Haskell
Contributions:2 PRs, 48 pushes, 23 branches in 2 years 9 months
haskellhardware-descriptionhardwareservanthackage
CTSRD-CHERI/RVBS
Jan 2018 - Jan 2020
RISC-V BSV Specification
Contributions:324 commits, 210 pushes, 1 branch in 2 years
risc-vriscvspecificationrfcrisc
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.