Francesco Bertolaccini
Senior Security Engineer, Research at Trail of Bits
Pietrasanta, Tuscany, Italy
Summary
👤
Senior🎓
Top SchoolFrancesco Bertolaccini is a Senior Security Engineer in research at Trail of Bits with 12 years of hands-on experience building compilers, analyzers, and developer tooling. He has led DARPA-funded projects—designing MLIR linkers, orchestration engines, and parser recognition agents—and helped shape PatchLang/PatchIR for program repair. Comfortable across low-level C++ and compiler infrastructures, he contributes to high-profile open-source ecosystems like Microsoft’s vcpkg by maintaining cross-platform ports and tackling platform-specific build issues. Based in Tuscany and trained at Università di Pisa, he combines a researcher’s rigor with practical engineering instincts, often surfacing subtle build and symbol-export issues that improve real-world toolchains.
12 years of coding experience
4 years of employment as a software developer
Master's degree Computer Science, Master's degree Computer Science at Università di Pisa
Italian, English
Stackoverflow
506reputation
20kreached
9answers
16questions
Github Skills (15)
vcpkg10
c-language10
cmake10
lib10
cprogramming-language10
package-management10
build-system9
package-manager9
windows9
package-manager-tool9
lua6
cil6
silverlight6
void-pointers6
circular-buffer6
Programming languages (15)
Github contributions (5)
microsoft/vcpkg
Mar 2019 - Sep 2019
C++ Library Manager for Windows, Linux, and MacOS
Role in this project:
Backend Developer
Backend DeveloperContributions:1 review, 5 commits, 7 PRs in 5 months
Contributions summary:Francesco primarily contributed to the `vcpkg` package manager by adding and updating ports for various C++ libraries. Their work involved creating portfiles, configuring builds using CMake, managing dependencies, and handling library installations. They also addressed platform-specific issues and ensured correct symbol exporting for Windows, demonstrating a focus on cross-platform compatibility. The contributions included adding and updating ports for libraries such as `sf2cute`, `libsquish`, and `riffcpp`, and `clap-cleveraudio`.
c-plus-plussetuptoolspackage-managermacoscplusplus
frabert/NetLua
Nov 2013 - Jun 2018
Completely managed .NET Lua
Contributions:101 commits, 4 pushes, 2 branches in 4 years 7 months
luadotnetc-sharpcsharpdotnet-core
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.