Stefano Forti

Registered user since Wed 8 Dec 2021

Name:Stefano Forti
Bio:

Stefano Forti received the PhD degree in Computer Science from the University of Pisa with a thesis on “Deployment and Management of Fog Applications”. Previously, he received the MSc degree in Computer Science and Networking jointly from the Sant’Anna School of Advanced Studies, Pisa, Italy and the University of Pisa, Pisa, where he is currently a Post-Doc researcher at the Department of Computer Science. His current research interests include Fog, Cloud, and service-oriented computing and formal methods and algorithms.

Country:Italy
Affiliation:University of Pisa
Research interests:fog computing, software engineering, application lifecycle management, quality of service, automated reasoning

Contributions

2022

Symposium on Practical Aspects of Declarative Languages

Show activities from other conferences

POPL 2022-profile
View general profile