Letterio Galletta
Associate Professor
Tuscany, Italy
Summary
👤
Senior🎓
Top SchoolLetterio Galletta is an Associate Professor of Computer Science at IMT Lucca with nine years of academic and research experience focused on language-based security. He applies programming languages, compiler techniques, and formal verification to hard security problems across adaptive software, IoT systems, and firewall configuration management. His career progressed from a PhD at Università di Pisa through postdoctoral work to successive assistant and associate professorships at IMT, reflecting a strong blend of teaching and applied research. Known for bridging theory and practice, he often turns formal methods into tools and workflows that address real-world deployment challenges in constrained and distributed environments. A Tuscany-based researcher, he brings deep domain expertise and a pragmatic curiosity for making provable security techniques usable outside the lab.
9 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (PhD), Computer Science, Doctor of Philosophy (PhD), Computer Science at Università di Pisa
Italian, English
Github Skills (22)
distributed-computing9
federated9
jekyll3
policies3
security2
synthesis2
firewall2
evaluation2
partial2
cryptography2
firewall-rules2
cil1
verification1
transaction1
tla1
Programming languages (7)
Github contributions (5)
lillo/F2F
Mar 2019 - May 2024
Contributions:7 pushes in 5 years 3 months
lillo/compiler-course-unipi
Sep 2020 - Dec 2022
Contributions:2 releases, 104 commits, 65 pushes in 2 years 3 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.