Thomas Vigouroux
Software Cyber Analyst at TrustInSoft
Grenoble, Auvergne-Rhône-Alpes, France
Summary
🤩
Rockstar🎓
Top School
Top expert inNeovim and Vim Ecosystem Development
Thomas Vigouroux is a software cyber analyst and former PhD student with 8 years of experience at the intersection of formal methods, security, and editor tooling. Now at TrustInSoft, he applies formal verification to critical Rust software, building on a strong research background in quantitative attacker models from Université Grenoble Alpes. He is a prolific Neovim contributor—authoring Tree-sitter integrations, local-variable analysis, and context-aware completion features in Lua and Rust—that demonstrate deep expertise in code parsing and developer tooling. His internships at Arm and the French Ministry of the Armed Forces add practical firmware, compiler, and fuzzing experience to his profile. Based in Grenoble, he blends rigorous academic thinking with hands-on systems engineering, often solving subtle parsing and language-injection problems that few security engineers tackle.
7 years of coding experience
1 year of employment as a software developer
Docteur en informatique, Mathematics and Computer Science, Docteur en informatique, Mathematics and Computer Science at Université Grenoble AlpesCPP- La prépa des INPDiplôme d'ingénieur, Computer Science, Diplôme d'ingénieur, Computer Science at Grenoble INP - Ensimag
English, Spanish, French
Github Skills (12)
c1710
neovim10
plugin-development10
lua10
tree-sitter10
c1110
text-editor10
vimscript9
syntax-highlighting9
fuzzy-matching9
api9
textbox7
Programming languages (24)
Github contributions (5)
nvim-treesitter/nvim-treesitter
Apr 2020 - Oct 2022
Nvim Treesitter configurations and abstraction layer
Role in this project:
Full-stack Developer
Full-stack DeveloperContributions:656 reviews, 208 commits, 651 PRs in 2 years 6 months
Contributions summary:Thomas primarily focused on enhancing the Neovim Treesitter plugin by implementing core features and expanding functionality. They developed utilities for reading and parsing queries, added an example for local variable extraction, and created a basic parsers module. The user also implemented the initial version of the locals functionality, which provides the main interface for understanding code through definition, scope, and reference retrieval. These contributions demonstrate a focus on extending the plugin's core capabilities.
nvim-treesitterluatreesittertree-sittervim
neovim/neovim
Apr 2020 - Sep 2022
Vim-fork focused on extensibility and usability
Role in this project:Back-end Developer
Back-end DeveloperContributions:490 reviews, 220 commits, 201 PRs in 2 years 5 months
Contributions summary:Thomas primarily contributed to the tree-sitter integration within Neovim. Their work involved updating and maintaining the tree-sitter vendor code, enhancing the Lua binding for treesitter, and fixing related bugs. They addressed issues related to predicate handling and string parsing within the tree-sitter query language, and implemented features such as setting included ranges. These changes were crucial for supporting language injection and enhancing the code analysis capabilities of Neovim.
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.