Ian Hayes

Professor

The University of Queensland

Australia

Research Interests

Explore related searches

Professors in Australia

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Ian Hayes is a Professor at The University of Queensland, Australia. His research primarily focuses on deriving specifications of control programs for cyber-physical systems. With extensive expertise in this area, he contributes significantly to the advancement of knowledge in the intersection of control theory and computational systems.

Articles (1)

Year:

2020

Collaborators (2)

Cliff Jones

Professor

Newcastle University

UNITED KINGDOM

View details

Alan Burns

University of York