Lex Bailey
Summary
👤
SeniorLex 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
Github Skills (141)
render10
adobe10
irc-bot10
inverse-kinematics10
magento10
vscode-extension10
control-library10
affiliates10
ecommerce10
php10
screenrc10
sublime-text9
javascript9
angular9
modals9
Programming languages (22)
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.