Our department is advertising teaching-funded PhD studentships. If
you are a UK/EU student your fees will be covered and you receive a
salary of roughly 15k GBP per year for 4 years.
Contact me if you are interested in doing your PhD in any of the projects below. The application has to be completed by February 6th.
See the official advert by the School.
Interestingly, even when given specifications in a language with a clear meaning, e.g., a modeling language or a formal specification of software, we still struggle. It is difficult to understand the impact of small changes or to even comprehend the differences between multiple versions of specifications for the same system.
This project aims to help engineers by making software languages analyzable, e.g., for computing meaningful differences between models or doing what-if analyses for small changes. The work will be demonstrated on a specification language, e.g., Spectra or Alloy, and a modeling language, e.g., languages of the UML.
This project aims to systematically explain recommendations and decisions made by various AI techniques. The focus will be on developing a framework for explanations of software decisions and behavior and applying it to selected algorithms from various areas of AI.
Contact me if you are interested in doing your PhD in any of the projects below. The application has to be completed by February 6th.
See the official advert by the School.
Differences in Specifications
You might have come across the following cartoon highlighting the challenge of effectively communicating software specifications:
Interestingly, even when given specifications in a language with a clear meaning, e.g., a modeling language or a formal specification of software, we still struggle. It is difficult to understand the impact of small changes or to even comprehend the differences between multiple versions of specifications for the same system.
This project aims to help engineers by making software languages analyzable, e.g., for computing meaningful differences between models or doing what-if analyses for small changes. The work will be demonstrated on a specification language, e.g., Spectra or Alloy, and a modeling language, e.g., languages of the UML.
Explainable AI and Synthesis
Have you ever wondered about your Amazon or Spotify recommendations, why your credit check failed, why Google routes you through side streets, or why robots behave like they do?
This project aims to systematically explain recommendations and decisions made by various AI techniques. The focus will be on developing a framework for explanations of software decisions and behavior and applying it to selected algorithms from various areas of AI.
Comments
Post a Comment