Francesco Bertolaccini

Senior Security Engineer, Research at Trail of Bits

Pietrasanta, Tuscany, Italy
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Francesco 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.
code12 years of coding experience
job4 years of employment as a software developer
bookMaster's degree Computer Science, Master's degree Computer Science at Università di Pisa
languagesItalian, English
stackoverflow-logo

Stackoverflow

Stats
506reputation
20kreached
9answers
16questions
github-logo-circle

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)

C#JavaC++RustCDCMakeTypeScript

Github contributions (5)

github-logo-circle
microsoft/vcpkg

Mar 2019 - Sep 2019

C++ Library Manager for Windows, Linux, and MacOS
Role in this project:
userBackend Developer
Contributions: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`.
cpplinuxmacoswindowsvcpkg
frabert/riff

Jul 2018 - May 2022

Rust crate for doing IO on RIFF files
Contributions:10 commits, 5 PRs, 12 pushes in 3 years 10 months
craterustrust-libraryrust-crateriff
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.
Request Free Trial