Stefano Forti
Tenure-track Assistant Professor at Università di Pisa
Tuscany, Italy
Summary
👤
Senior🎓
Top SchoolStefano Forti is a tenure-track Assistant Professor in Computer Science at the University of Pisa with 12 years of experience bridging applied research and teaching in Cloud-IoT, QoS-aware and sustainable application management, and formal automated reasoning. He earned a cum laude PhD on fog application deployment and holds national qualifications for associate professorship in both Informatics and Computer Engineering. Author of over 60 publications, he combines rigorous research with practical system work dating back to geocoding engine prototypes for industry during his internships. Stefano teaches Computer Networks and Green Computing, coordinates the Pisa CoderDojo since 2015, and is passionate about innovative CS education methods at all levels. Based in Tuscany, he brings a rare mix of formal methods expertise and hands-on experience in cloud/fog deployments aimed at sustainable, QoS-driven systems.
12 years of coding experience
5 years of employment as a software developer
Master of Science (MSc), Computer Science & Networking, 110 cum laude (out of 110), Master of Science (MSc), Computer Science & Networking, 110 cum laude (out of 110) at Scuola Superiore Sant'AnnaBachelor's Degree, Computer Science, Semester I GPA: 4.10 Semester II GPA: 4.12, Bachelor's Degree, Computer Science, Semester I GPA: 4.10 Semester II GPA: 4.12 at University College DublinHigh School, Sciences, 100 cum laude (out of 100), High School, Sciences, 100 cum laude (out of 100) at Liceo ScientificoDoctor of Philosophy (PhD), Computer Science, excellent cum laude, Doctor of Philosophy (PhD), Computer Science, excellent cum laude at Università di Pisa
Italian, English, French, Spanish, Chinese, German
Github Skills (34)
solve10
placement9
probabilistic9
fog9
application-management8
allocation8
prolog8
scenarios8
simulator7
simulation7
snmp7
probabilistic-models7
cisco7
mobility7
aem6
Programming languages (8)
Github contributions (5)
teto1992/HashToMin
Mar 2016 - May 2016
Contributions:1 release, 98 commits, 90 pushes in 2 months
di-unipi-socc/SecFog
Jan 2019 - May 2021
Contributions:34 commits, 31 pushes, 1 branch in 2 years 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.