Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and los ....Advances in the Verification of Communication Protocols. Australia's economy is becoming increasingly dependent on many complex distributed systems. Some important examples are the Internet, electronic commerce, financial networks, transportation systems, health care networks, telecommunication networks, defence systems, intelligent manufacturing systems and organisational workflow management systems. Failure in these systems can result in serious financial loss (in banking applications) and loss of life or serious accidents in safety critical areas (medical, transport and defence applications). It is thus of utmost importance that distributed systems are designed correctly. This project aims to advance the state of the art in verifying that distributed systems will work correctly.Read moreRead less
A novel approach to controlling boundary-layer separation. This project will involve fundamental research into the control of the fluid dynamical phenomena of boundary-layer separation and transition to turbulence. The project will be built upon a firm foundation of mathematical modelling of the complex behaviour of fluid flows that are near the onset of flow separation or turbulence. The project will produce results that will permit the development of control strategies that can be implemented ....A novel approach to controlling boundary-layer separation. This project will involve fundamental research into the control of the fluid dynamical phenomena of boundary-layer separation and transition to turbulence. The project will be built upon a firm foundation of mathematical modelling of the complex behaviour of fluid flows that are near the onset of flow separation or turbulence. The project will produce results that will permit the development of control strategies that can be implemented in a wide variety of important technological applications, such as drag reduction in the aerospace and ship industries as well as the control of stall (or loss of lift) in modern aircraft.Read moreRead less