Lewis Russell
Principal Engineer at Arm
Cambridge, England, United Kingdom
Summary
🤩
Rockstar🎓
Top School
Top expert inNeovim and Vim Ecosystem Development
Lewis Russell is a Principal Engineer with 11 years of experience in formal verification and systems engineering at Arm, progressing from Formal Verification Engineer to principal technical leadership. He specialises in ISA-level formal methodologies—co-developing the ISA-Formal approach that uncovered significant RTL issues on a high-profile M‑Class processor—and brings deep hands-on expertise in verification, refactoring, and low-level code quality. Outside work he is an active open-source contributor to the Neovim ecosystem, improving parsing, async job handling, LSP integration and Treesitter language highlighting across many languages. Based in Cambridge, he combines rigorous formal methods with pragmatic software craftsmanship, frequently refactoring C and Lua code to improve maintainability and performance. An unusual mix of day-job rigor and night-time tinkering, he pairs hardware-focused formal proofs with developer tooling contributions that make code easier to read and reason about.
11 years of coding experience
9 years of employment as a software developer
Master of Engineering (MEng) Electronic Engineering, Master of Engineering (MEng) Electronic Engineering at University of SouthamptonGuthlaxton College
English
Github Skills (42)
asynchronous10
gnu-make10
tree-sitter10
async10
language-server-protocol10
vim-plugin10
makefile10
refactor10
c1710
neovim10
vim10
lua10
language-server10
code-analysis10
nvim10
Programming languages (21)
Github contributions (5)
nvim-treesitter/nvim-treesitter-context
Dec 2020 - Jan 2023
Show code context
Role in this project:
Back-end Developer
Back-end DeveloperContributions:1 release, 110 reviews, 45 commits in 2 years
Contributions summary:Lewis primarily focused on improving the functionality and maintainability of the Neovim plugin. Their contributions included optimizing code execution by removing unnecessary function calls and switching to more efficient methods. They also addressed code quality issues by fixing luacheck errors, removing unused code, and adding linting configurations. Furthermore, the user refactored the code to improve its structure and added a feature to display the line number.
treesittervimvim-pluginneovimneovim-plugin
neovim/neovim
Mar 2021 - Jan 2023
Vim-fork focused on extensibility and usability
Role in this project:Back-end Developer
Back-end DeveloperContributions:1939 reviews, 256 commits, 1002 PRs in 1 year 11 months
Contributions summary:Lewis focused on refactoring, resolving Clang-related lint errors, and addressing code style issues, primarily within the C codebase of the Neovim project. Their contributions involved modifications to the evaluation functions (eval/funcs.c), command-line execution files (ex_docmd.c), and general code cleanup to enhance the project's maintainability and code quality. In addition to this, the user added support for wasm parsers with `wasmtime` .
usabilityapiluavimvim-plugin
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.