Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important effici ....Design and verification of correct, efficient and secure concurrent systems. This project aims to provide methods for the design and verification of correct, secure and efficient concurrent software that are scalable and mechanised. Computers with multiple processors are now the norm and are used in a wide range of safety, security and mission critical software applications such as transport, health and infrastructure. These multi-core architectures have the potential to lead to important efficiency gains, but can introduce complex and error-prone behaviours that cannot be managed using traditional software development approaches. This project will produce better, scalable and mechanised methods for the design and verification of such software which is expected to reduce the prevalence of failures in efficient, modern software.Read moreRead less
Understanding The Acute And Cumulative Metabolic Effects Of Prolonged Sitting In Adults
Funder
National Health and Medical Research Council
Funding Amount
$416,597.00
Summary
Sedentary behaviour (sitting time) has been linked to an increased risk of chronic illnesses, including type 2 diabetes and obesity, but recent evidence suggests that light-intensity activity (non-exercise activities of daily living) is associated with reduced risk. These studies will examine whether breaking up sitting time with frequent short periods of activity can overcome the negative effects of prolonged sitting on blood glucose and blood fats in overweight older adults.