Dr P Schrammel
No more applications being accepted
Funded PhD Project (Students Worldwide)
About the Project
Concurrent programs are notoriously difficult to debug and analyse. Dynamic analysis, model checking and static analysis approaches have been proposed, each of them having their specific strengths and weaknesses. Yet, these techniques have in common that they rely on abstractions of the program behaviour in order to improve efficiency and focus the analysis on relevant parts of the code.
Recently, techniques have been proposed that learn abstractions from program execution data, which could complement and enhance the classical approaches mentioned above. The objective of this project is to investigate and exploit the synergies of static analysis and machine learning techniques to generate abstract models of the program behaviour, such as the interactions between execution threads. These models are invaluable for many applications such as model checking, test generation, debugging, visualisation, and automatic code documentation.
Apply online using this step by step guide: http://www.sussex.ac.uk/study/phd/apply
Clearly state the title of this scholarship in the Finance Section of your application.
Funding Notes
The studentship will include a three year stipend at a standard rate (currently £14,296 per annum) and, in addition, fees at the UK/EU rate. Since the studentship only covers fees at the UK/EU rate, overseas applicants are kindly requested to state in their application how they propose to cover the difference between the UK/EU rate and the overseas fees (for more details visit: http://www.sussex.ac.uk/study/phd/fees-and-scholarships).
Apply for a Informatics PhD for September 2017 using this step by step guide: http://www.sussex.ac.uk/study/phd/apply
In the 'Finance information' section of the application form state you are applying for: "PhD Studentship: Learning Abstractions for Concurrent Programs".
Continue with Facebook
