An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used b ....An extensible framework for analysis of Java language-based security conformance. Java is a programming language and platform running on 3 billion devices. While Java provides a sandbox-based security architecture within the Java Class Library to protect systems from untrusted code downloaded from Internet, it cannot defend against implementation bugs that occur in the Java Class Library. The goal of this project is to provide a formal model of the Java security architecture, which can be used by program analysers to identify faulty or insufficient security checks in the Java Class Library that may lead to the sandbox being bypassed.Read moreRead less
Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first t ....Onset Theory: Pushing the design envelope for textile composite structures. This study aims to exploit an innovative physics-based approach to predict the strength of textile composites. This is particularly important in areas such as aircraft design, where drastic weight savings are needed to allow designers to remain competitive in a low-carbon future. Improved theory and design tools will remove conservatism and account for a large part of these weight savings. The new approach is the first to be consistent at all length scales — from atoms to aeroplanes — ensuring relevance for new and evolving composite material systems. A novel understanding of crack initiation in textile laminates is intended to reduce design and certification effort for new aircraft and help to design more efficient airframes at a lower cost.Read moreRead less
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
ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand add ....ARC Centre for Complex Systems. The Australian Centre for Complex Systems brings together leading researchers from several disciplines and institutions to conduct research on questions fundamental to understanding and managing complex systems. Its core research program, based on the theme of computation in and by networks of agents, has two interwoven strands. The science strand addresses questions about emergent properties, natural computation, and nonlinear dynamics. The engineering strand addresses issues about methodology, modelling toolkits, and management and control. Practical applications are advanced via collaborative projects that address key issues in biology, environment, and socio-economics.Read moreRead less
Peopling educational policy: realising the new Australian English and mathematics curricula. Implementation of Australian curricula in English and mathematics provides an opportunity for school systems to re-examine practice. This project will identify resources and teacher learning opportunities needed to facilitate implementation of these curricula and use findings to develop interventions identified as likely to optimise implementation.
Improving student outcomes: coaching teachers in the power of feedback. This project aims to investigate how student outcomes can be augmented through coaching teachers in effective feedback practice. The project addresses a critical problem of stagnating levels of student achievement in Australian schools with the innovative research design combining evidence-based, pedagogies of feedback, formative assessment and instructional coaching to improve teacher practice and ultimately raise student a ....Improving student outcomes: coaching teachers in the power of feedback. This project aims to investigate how student outcomes can be augmented through coaching teachers in effective feedback practice. The project addresses a critical problem of stagnating levels of student achievement in Australian schools with the innovative research design combining evidence-based, pedagogies of feedback, formative assessment and instructional coaching to improve teacher practice and ultimately raise student achievement levels. The project aims to guide policy implementation in pedagogy to raise the quality of teaching standards and to improve learning outcomes for Australian students. Ultimately, outcomes from the research will help close the gap for low achieving students, and challenge and extend those who may already be meeting required benchmarks. Read moreRead less
Multiliteracies for addressing disadvantage in senior school science. Multiliteracies for addressing disadvantage in senior school science. This project aims to develop discipline-specific pedagogies in senior physics, chemistry and biology to improve disadvantaged students’ engagement and achievement. Many students from disadvantaged backgrounds fail to develop the linguistic precision and symbolic representational dexterity needed to comprehend and communicate senior school science concepts. T ....Multiliteracies for addressing disadvantage in senior school science. Multiliteracies for addressing disadvantage in senior school science. This project aims to develop discipline-specific pedagogies in senior physics, chemistry and biology to improve disadvantaged students’ engagement and achievement. Many students from disadvantaged backgrounds fail to develop the linguistic precision and symbolic representational dexterity needed to comprehend and communicate senior school science concepts. These pedagogies will ‘infuse’ multiliteracies in senior school science to improve access to science-based pathways for these students, and enable them to understand progressively more complex scientific concepts and demonstrate this in examinations. This project is expected to improve student retention, arrest declining enrolments in senior school science, and increase young people working in science.Read moreRead less
Out-of-field Teaching: Sustaining Quality Practices Across Subjects. Teaching out-of-field (teaching a subject without qualifications) is a rising concern internationally, and is linked to attrition, stress, and reduced student learning outcomes. With a comparatively high percentage of out-of-field teachers, Australia is exposed to significant social, economic and educational costs. Through the development of longitudinal case studies, this project investigates the changing landscape of teacher ....Out-of-field Teaching: Sustaining Quality Practices Across Subjects. Teaching out-of-field (teaching a subject without qualifications) is a rising concern internationally, and is linked to attrition, stress, and reduced student learning outcomes. With a comparatively high percentage of out-of-field teachers, Australia is exposed to significant social, economic and educational costs. Through the development of longitudinal case studies, this project investigates the changing landscape of teacher perceptions and practices over three years, within school institutional cultures relating to teacher assignment, support, and out-of-field mathematics and science teaching. Outcomes of the project will aim to inform the development of system and school policy and practice, in dealing with this internationally pervasive issue.Read moreRead less
Reasonable Adjustments to Maths for Students with Intellectual Disabilities. Reasonable adjustments to secondary mathematics – parents want it, students need it, the Australian law requires it – but how do teachers achieve it? The aim of this project is to find ways to adjust, teach and assess secondary mathematics for students with intellectual and developmental disabilities. The significance of this study is in solving a problem facing teachers who are required by law to teach mathematics with ....Reasonable Adjustments to Maths for Students with Intellectual Disabilities. Reasonable adjustments to secondary mathematics – parents want it, students need it, the Australian law requires it – but how do teachers achieve it? The aim of this project is to find ways to adjust, teach and assess secondary mathematics for students with intellectual and developmental disabilities. The significance of this study is in solving a problem facing teachers who are required by law to teach mathematics without evidence informed approaches. Expected outcomes are an evidence-base for reasonable adjustments to secondary mathematics and approaches and strategies for teachers for inclusive practices. If ways for teaching year-level mathematics to learners with intellectual disability are developed, many more students may benefit.
Read moreRead less