Cloud service programming and modeling
External reference persons Lorenzo De Carli - Colorado State University, 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 Colorado State University, USA (https://www.colostate.edu), where the candidate is asked to spend some months working on the selected problem
Required skills Good marks and good programming skills.
Deadline 02/11/2019 PROPONI LA TUA CANDIDATURA