FEIT Research Project Database

Verifiable trusted autonomous systems

Project Leader: Iman Shames
Staff: Chris Manzie
Primary Contact: Iman Shames (iman.shames@unimelb.edu.au)
Keywords: autonomous systems
Disciplines: Electrical & Electronic Engineering

A system designed without following a systematic approach is neither good nor bad: it’s surprising. This project will consider designing correct by construction autonomous systems whose behaviours are not surprising and adhere to stringent and quantifiable performance measures. There will be opportunities to implement algorithms on hardware and work within a team of industry and academic collaborators nationally and internationally. Only open to Australian citizens, and stipend topups are available for H1 students.