Kyriakos Georgiou
Senior Project Manager at University of Bristol
Bristol, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolKyriakos Georgiou is a Senior Project Manager and Research Engineer with nine years of experience at the intersection of safety-critical systems, compiler technology, and energy-aware software optimization. He leads AdaCore’s UK-funded SCHEME project to deliver next-generation, cyber-secure processing platforms for low-carbon intelligent systems while also developing GNATfuzz, an automated fuzz tester for Ada and SPARK. A PhD from the University of Bristol, he retains an honorary Research Fellow role there after leading EU-funded projects (ENTRA, TeamPlay) focused on energy estimation, compiler autotuning and industrial collaboration. Kyriakos combines hands-on compiler and tooling experience from industry with academic rigor, and his background ranges from in-house compiler development to coordinating multi-million-euro research consortia. Notably, he blends project management certification (Prince2) with deep technical authorship, making him effective at translating research prototypes into safety-critical engineering outcomes.
9 years of coding experience
15 years of employment as a software developer
Cyprus Lyceum Diploma, Cyprus Lyceum Diploma at Kykkou 2nd LyceumB.Sc. Computer Science, B.Sc. Computer Science at University of CyprusDoctor of Philosophy - PhD Computer Science, Doctor of Philosophy - PhD Computer Science at University of Bristol
Greek, English
Github Skills (11)
symbolic-execution6
stm32f44
bluepill4
compiler3
hal3
stlink3
chips3
st2
test-coverage1
coverage1
aws1
Programming languages (4)
Github contributions (5)
kg8280/embench-iot
Mar 2020 - Apr 2020
The main Embench repository
Contributions:5 PRs, 25 pushes, 2 comments in 1 month
gcluzel/Http_Cyclone-1
May 2021 - Sep 2021
Contributions:30 pushes in 3 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.