or
Continue with FacebookLooking to list your PhD opportunities? Log in here.
This project is no longer listed on FindAPhD.com and may not be available.
Click here to search FindAPhD.com for PhD studentship opportunities
Prof J Fiadeiro
Applications accepted all year round
Competition Funded PhD Project (Students Worldwide)
About the Project
The complexity of the systems that are currently operating in the socio-economical world arises not necessarily, or at least not exclusively, from the fact that they are large but mostly that they exhibit complex and dynamic interactions that are difficult to predict or control, not only in time but also in space. In particular, the new landscape of systems that is being enabled through global ubiquitous computing is that of networks of interactions (systems of systems) whose configuration can change over time as each system creates and evolves the network over which it needs to operate, using resources that they do not necessarily control and may change in a non-computable way: we call such systems ‘dynamic networks of interactions’ (DNIs).
The project aims at contributing to the development a new computational model over which we can identify, on the one hand, the programming techniques that can be deployed to harness the computational power of DNIs and, on the other hand, the methodological principles through which applications can be developed to operate and engage with systems in a way that is verifiable (through analysis or simulation) and can lead to acceptable levels of trust in the systems that will operate in the socio-economical world.
Depending on the background and interests of the candidate, the project can explore foundational aspects (for example, at the level of the definition of the topological and statistical abstractions that can be used for capturing and understanding the behaviour of DNIs, or the development of a formal model of interaction intra and inter DNIs that also accounts for resource/service discovery and binding), or more methodological aspects such as the development of formalisms, methods and language primitives through which DNIs can be modelled and their components programmed at a level of abstraction that is amenable to verification, or the development of efficient techniques for monitoring, analysing and simulating DNIs.
In any case, the candidate should have a good background in mathematics or formal methods in computer science.
The project aims at contributing to the development a new computational model over which we can identify, on the one hand, the programming techniques that can be deployed to harness the computational power of DNIs and, on the other hand, the methodological principles through which applications can be developed to operate and engage with systems in a way that is verifiable (through analysis or simulation) and can lead to acceptable levels of trust in the systems that will operate in the socio-economical world.
Depending on the background and interests of the candidate, the project can explore foundational aspects (for example, at the level of the definition of the topological and statistical abstractions that can be used for capturing and understanding the behaviour of DNIs, or the development of a formal model of interaction intra and inter DNIs that also accounts for resource/service discovery and binding), or more methodological aspects such as the development of formalisms, methods and language primitives through which DNIs can be modelled and their components programmed at a level of abstraction that is amenable to verification, or the development of efficient techniques for monitoring, analysing and simulating DNIs.
In any case, the candidate should have a good background in mathematics or formal methods in computer science.
