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 (69)
hardware-designs10
verilog10
quickcheck10
haskell10
multicore10
bluespec10
instruction-set10
fpga10
mips10
risc-v10
freebsd10
hardware10
linux9
testing9
controller9
Programming languages (20)
Github contributions (5)
CTSRD-CHERI/cheri-bgas-fuse-devfs
Jul 2022 - Apr 2025
A fuse filesystem to expose devices in the CHERI BGAS simulator
Contributions:2 PRs, 9 pushes, 1 branch in 2 years 9 months
filesystem
CTSRD-CHERI/BlueBasics
Aug 2018 - Dec 2022
Contributions:66 commits, 1 PR, 72 pushes in 4 years 4 months
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.