██╗██████╗ ██████╗ ██╗███████╗███████╗
██║██╔══██╗██╔══██╗██║██╔════╝██╔════╝
██║██║ ██║██████╔╝██║███████╗███████╗
██║██║ ██║██╔══██╗██║╚════██║╚════██║
██║██████╔╝██║ ██║██║███████║███████║
╚═╝╚═════╝ ╚═╝ ╚═╝╚═╝╚══════╝╚══════╝
██████╗ ██╗ ██████╗ ██╗ ██╗ █████╗ ██╗ ██╗
██╔══██╗██║██╔═══██╗██║ ██║██╔══██╗██║ ██╔╝
██████╔╝██║██║ ██║██║ ██║███████║█████╔╝
██╔══██╗██║██║ ██║██║ ██║██╔══██║██╔═██╗
██║ ██║██║╚██████╔╝╚██████╔╝██║ ██║██║ ██╗
╚═╝ ╚═╝╚═╝ ╚═════╝ ╚═════╝ ╚═╝ ╚═╝╚═╝ ╚═╝
Sep 2026 – Present
Software Engineer III · GitHub
Code Scanning team — working on extractors for C/C++ and Java.
Mar 2025 – Aug 2026
Software Engineer II · GitHub
Nov 2019 – Dec 2024
PhD in Computer Science · Lund University · WASP
SDE group. Static analysis, compiler construction, control-flow and dataflow analysis. Main developer of IntraJ.
Mar 2017 – Jul 2019
M.S. Computer Science · University of Udine
Software Verification and Formal Methods. Grade: 110/110 cum laude.
I work at GitHub in the Code Scanning team, where I work on the extractors for C/C++ and Java. I recently helped add support for Java 25 and Java 26.
Before that, I did my PhD at Lund University in the SDE group, working on static analysis and compiler construction. During that time I contributed to a few open-source projects, including the ExtendJ Java Compiler, the JastAdd Metacompiler, and Clang-Tidy in the LLVM project.
I am the main developer of IntraJ, an on-demand static analysis tool for Java.
I have been a teaching assistant for courses in compilers and program analysis, and have supervised several MSc students.
[1 September 2026]
Promoted from Software Engineer II to Software Engineer III at GitHub.
[8 September, 2025]
Gave a presentation about Git and GitHub to the AD&M group! It was a fun session introducing version control concepts and GitHub workflows to the team.
[May 2025]
Attended my first Code Scanning Off-site in Toronto! 🇨🇦 It was great and very insightful, amazing to meet the team in person and dive deep into code security initiatives.
[11 March, 2025]
🎉 Excited to announce that I’ve started working at GitHub as a Software Engineer II in the Code Scanning team! I’ll be focusing on adding language support for C++/C, Java, and more languages. Recently worked on adding support for Java 25. Looking forward to contributing to the platform that powers millions of developers worldwide.
[21 October, 2024]
🏆 I am happy to announce that our paper, ‘Efficient Demand Evaluation of Fixed-Point Attributes Using Static Analysis’, presented at ACM SIGPLAN Software Language Engineering (SLE) 2024, has won both the Distinguished Paper Award and the Distinguished Artifact Award!
$ cat ~/news.log → see all news
$ ls ~/supervised-students/
Father of Alexander. Married with Marta Rotari. Proud owner of a beautiful Ragdoll Blu Russian named Brioche 🐱.
I like climbing 🧗 and we love Scandinavian countries 🇸🇪🇩🇰🇳🇴.
$ tree ~/places –timeline
22 – 24
🇮🇹 Udine (UD), Italy
31 – now
🇩🇰 Vejle, Denmark