Tim Hutt
Senior Verification Engineer
Cheltenham, England, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolTim Hutt is a Senior Verification Engineer with 16 years of experience blending low-level hardware verification and systems software, currently based in Cheltenham. He has driven SoC and RISC-V CPU verification at companies like Graphcore and Codasip, pairing UVM-like TLM methodologies with SVA formal techniques. Equally comfortable in software, Tim has built tooling and SDK components in C++, Rust and TypeScript—authoring a Rust-based RPC-backed GUI for large profiling data and contributing to high-profile OSS projects such as rust-analyzer, rusqlite and the VS Code codebase. His work shows a pattern of improving developer experience (task integration, editor fixes, and robust DB bindings) alongside rigorous hardware validation. Tim’s background in mechanical engineering (MEng, Cambridge; PhD, Imperial) gives him a research-driven approach to practical engineering problems and a talent for designing novel tooling to bridge hardware and software workflows.
16 years of coding experience
16 years of employment as a software developer
Master of Engineering (MEng) Mechanical Engineering, Master of Engineering (MEng) Mechanical Engineering at University of CambridgeDoctor of Philosophy (PhD) Mechanical Engineering, Doctor of Philosophy (PhD) Mechanical Engineering at Imperial College London
Github Skills (23)
editors10
javascript10
cargo10
sqlite10
electron10
datatypes10
typescript10
language-server-protocol10
regex10
vscode-extension10
editor10
binding10
language-server10
typescript-types10
rust10
Programming languages (44)
Github contributions (5)
rust-lang/rust-analyzer
Oct 2019 - Mar 2025
A Rust compiler front-end for IDEs
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:6 PRs, 27 comments, 13 issues in 5 years 6 months
Contributions summary:Tim contributed to the Rust Analyzer project by implementing and refining features related to task support and the integration with VS Code. Their work included the addition of task-related functionalities such as `cargo build` and `cargo run`, along with modifications to the VS Code client and task provider for enhanced functionality. The user also addressed issues related to workspace folder handling and completion suggestions, ensuring a smoother development experience within the IDE. These changes demonstrate a focus on improving the project's integration with the development environment and user experience.
rustlsp-servercompileridefront-end
microsoft/vscode
Sep 2020 - Nov 2022
Visual Studio Code
Role in this project:Full-stack Developer
Full-stack DeveloperContributions:10 commits, 13 PRs, 103 comments in 2 years 2 months
Contributions summary:Tim primarily contributed to fixing issues and improving the user experience in the VS Code editor. They addressed sticky tab functionality by modifying mouse target interactions within the editor and corrected how horizontal offsets are handled. Furthermore, the user merged branches, updated code, and enhanced terminal link detection, including support for a new format for error messages output. This shows a focus on refining both the editor's core functionality and integration with other tools.
visual-studio-codeelectronvscodevscode-extensionmicrosoft
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.