Andrea Mattavelli
Team Lead at MF Group AG
Chiasso, Ticino, Switzerland
Summary
🤩
Rockstar🎓
Top SchoolAndrea Mattavelli is a Team Lead and senior software engineer with 11 years of experience, currently leading engineering at MF Group AG in Switzerland. He combines hands-on backend and automation expertise with a research background (PhD) in informatics, focusing on symbolic execution and software redundancy to improve testing and reliability. His open-source work includes meaningful contributions to the high-profile KLEE symbolic execution engine—improving logging, build/test infrastructure, POSIX runtime and Darwin support—which highlights a blend of low-level systems skill and tooling automation. He has a track record of moving research ideas into practical tooling from roles at Imperial College London and USI, plus earlier European research projects. Colleagues describe him as a pragmatic problem-solver who mentors students and engineers while driving robust, testable systems. Based in Ticino, he brings both academic rigor and production-oriented delivery to complex software quality challenges.
11 years of coding experience
9 years of employment as a software developer
Bachelor, Informatics, Bachelor, Informatics at Università degli Studi di Milano-BicoccaDoctor of Philosophy (Ph.D.), Informatics, Doctor of Philosophy (Ph.D.), Informatics at USI Università della Svizzera italiana
English, Italian
Github Skills (12)
symbolic-execution10
c-language10
cprogramming-language10
klee10
llvm9
automation9
automations9
build-system8
testing8
posix7
posixct7
darwin7
Programming languages (6)
Github contributions (5)
klee/klee
Apr 2016 - Dec 2017
KLEE Symbolic Execution Engine
Role in this project:
Back-end Developer & Automation Engineer
Back-end Developer & Automation EngineerContributions:80 commits, 91 PRs, 42 pushes in 1 year 7 months
Contributions summary:Andrea's contributions focus on enhancing the KLEE symbolic execution engine. They implemented improvements to the logging of instructions during execution, adding options for file-based output. Moreover, the user made modifications to the build process and testing infrastructure, including fixing parser bugs and integrating code coverage tools. Further, the user implemented changes to POSIX runtime environment and added support for the Darwin platform.
symbolic-executionsymbolic-execution-enginekleeexecution-engineexecution
andreamattavelli/klee
Apr 2016 - Dec 2017
KLEE Symbolic Virtual Machine
Contributions:169 pushes, 47 branches in 1 year 8 months
symbolickleevirtual-machine
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.