Alberto Griggio
Researcher at Fondazione Bruno Kessler (FBK-irst)
Trentino – Alto Adige/Südtirol, Italy
Summary
🤩
Rockstar🎓
Top SchoolAlberto Griggio is a researcher with 23 years of experience in computer science, currently based at Fondazione Bruno Kessler in Trentino–Alto Adige. He holds a PhD from the University of Trento with a background in SMT, formal verification and satisfiability, and brings deep academic rigor to applied research. Alberto combines long-term research expertise with practical software development, contributing to notable open-source projects like RawTherapee where he implemented robust dynamic profile matching and regex-based camera detection while fixing several loading and GUI bugs. His work reflects a knack for bridging formal methods and real-world tooling, turning complex verification ideas into reliable code and maintainable features. Known for steady contributions over decades, he blends scholarly depth with hands-on engineering that improves both algorithms and user-facing systems.
23 years of coding experience
Laurea triennale, computer science, Laurea triennale, computer science at Università degli Studi di PadovaPhD, Computer Science, PhD, Computer Science at Università di TrentoLaurea specialistica, computer science, Laurea specialistica, computer science at Universita` degli studi di Bologna
Github Skills (6)
develop10
c-language10
cprogramming-language10
front-end-development9
file-handling8
regular-expression8
Programming languages (9)
Github contributions (5)
RawTherapee/RawTherapee
Mar 2017 - May 2019
A powerful cross-platform raw photo processing program
Role in this project:
Back-end Developer
Back-end DeveloperContributions:552 commits, 107 PRs, 347 pushes in 2 years 2 months
Contributions summary:Alberto implemented changes to the dynamic profile functionality, merging the "make" and "model" camera attributes into a single "camera" attribute and enabling the use of regular expressions for matching. They also addressed and fixed multiple bugs related to loading dynamic profiles. The contributions involved modifying and updating code related to GUI elements, data structures, and configuration files within the RawTherapee codebase.
openexrwxwidgetsrawtherapeeimage-viewerc-plus-plus
artpixls/ART
Nov 2024 - Mar 2025
The ART raw image processor
Contributions:1 release, 9 PRs, 150 pushes in 4 months
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.