KEYWORD |
Cloud service programming and modeling
Thesis abroad
Reference persons GUIDO MARCHETTO, RICCARDO SISTO
External reference persons Lorenzo De Carli - Worcester Polytechnic Institute, USA
Research Groups COMPUTER NETWORKS GROUP - NETGROUP
Description Highly distributed Cloud services, ranging from microservice architectures to network function virtualization (NFV) systems, are emerging as a way for providing high flexibility and fast reconfiguration in the services offered to remote users. Given their high programmability, these systems require the introduction of powerful policy verification techniques, as well as proper programming interfaces that facilitates this verification by construction. The thesis work aims at defining user-friendly (e.g., Java-like) programming languages that can simplify the service creation and its modeling for verification purposes, with particular focus on policy control.
The thesis is in collaboration with the Worcester Polytechnic Institute, USA (https://www.wpi.edu/academics/departments/computer-science), where the candidate is asked to spend some months working on the selected problem
Deadline 02/11/2020
PROPONI LA TUA CANDIDATURA