Lex Bailey
Senior Software Engineer at lowRISC CIC
United Kingdom
Summary
👤
Senior🎓
Top SchoolLex Bailey is a Senior Software Engineer in the UK with 26 years of experience blending software and hardware development, and a particular passion for formal verification. He has a deep research-to-product background built through multiple internships and research roles at Arm and subsequent engineering positions at Codasip and lowRISC. Lex’s work spans low-level languages, Python, and verification tools, reflecting a comfort moving between firmware, formal methods, and system-level research. He holds degrees from the University of York in Computer Science and Research Computer Science, and began his career with hands-on embedded and electronic engineering training. Notably, Lex has repeatedly returned to Arm research across internships and roles, signaling a consistent focus on processor architecture and verification challenges. He keeps a public CV and maintains a pragmatic research mindset that bridges academic rigor with production-quality engineering.
26 years of coding experience
4 years of employment as a software developer
National Diploma in Electrical and Electronic Engineering Electrical and Electronic Engineering, National Diploma in Electrical and Electronic Engineering Electrical and Electronic Engineering at York College, York UKResearch Computer Science, Research Computer Science at University of YorkManor CE school
English
Github Skills (170)
inverse10
render10
adobe10
irc-bot10
inverse-kinematics10
magento10
console10
pipe10
control-library10
affiliates10
angular-component10
ecommerce10
sublime10
php10
script10
Programming languages (17)
Github contributions (5)
lexbailey/bas2tap
Mar 2017 - Nov 2022
Contributions:3 pushes, 1 branch in 5 years 8 months
lexbailey/c88-js
Jun 2015 - Oct 2024
Javascript Emulation of C88
Contributions:2 PRs, 35 pushes, 5 branches in 9 years 6 months
javascriptemulation
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.