Find an expert

Software Engineering. Ian's research interests are in formal methods for software development.

Errors in a compiler for a programming language can generate errors in the myriad of programs they compile. Our research is looking at verifying optimisation phases of a compiler.

Concurrent programs are difficult to reason about due to the interleaving of execution of concurrent threads leading to an explosion of possible execution sequences. Our research is developing techniques for rely/guarantee reasoning about concurrent programs.

Both the above research strands make use of the Isabelle/HOL theorem prover.

Biography:

Prof Hayes is Emeritus Professor of Metallurgical Engineering within the School of Chemical Engineering. He is curently a senior researcher in the Pyrometallurgy Innovation Centre (PYROSEARCH). He received his PhD in Metallurgy from the University of Strathclyde in Glasgow, Scotland, in 1974. He has a BSc (1970) and MSc (1972) in Metallurgy from the University of Newcastle on Tyne, England.

Research:

Prof Hayes was founding Director of the Pyrometallurgy Innovation Centre (PYROSEARCH). Prof Hayes' research is focused on the high temperature processing of minerals and materials, with particular application to the pyrometallurgical production and refining of metals. His interests include chemical equilibria, reaction kinetics and mechanisms.

His current research projects encompass:

• High temperature phase equilibrium measurements and determination of liquidus isotherms in complex industrial slag systems relevant to the smelting of copper, ferro-chromium, ferro-manganese, iron, ferro-nickel, lead and zinc production and metal recycling.
• The development of thermodynamic databases, and their use in conjunction with FactSage, to predict phase equilibria and thermodynamic properties in oxide systems.
• Reaction kinetics and mechanisms in metal and materials processing, smelting and refining; in particular, gas/solid reactions.

Prof Hayes has over 450 research publications.

Teaching and Learning:

Prof Hayes’ teaching interests include pyrometallurgy, chemical thermodynamics, and physical and chemical processing of minerals.

He is author of the undergraduate textbook “Process Selection in Minerals and Materials Production” by P.C. Hayes, Hayes Publishing Co, Sherwood, Brisbane, the 4th ed. is currently available and downloadable from the web as a e-book. Prof Hayes introduced the dual major BE Chemical and Metallurgical to the UQ curriculum and has been activity involved in program and curriculum development in the field of metallurgical engineering over a several decades.

Projects:

1. Reaction mechanisms and kinetics of high temperature gas/solid/liquid reaction kinetics relevant to metals production.
2. Fundamental experimental studies of phase equilibria in metal smelting, refining and metals recycling processes.

Professor Haynes works in the areas of soil and environmental science. His present research interests are on rehabilitation and revegetation of mine tailings, the use of constructed wetlands to treat drainage from tailings storage areas and the role of silicon in crop production. He has extensive experience having worked as both an applied research scientist and as a university professor and has worked in New Zealand, South Africa and Australia. He has published over 190 original research papers in international journals, over 25 review papers in international volumes as well as many conference and extension papers and contract reports. He has been an invited keynote speaker at many international conferences and has served on the editorial board of 4 international research journals. He has acted as principal supervisor and co-supervisor of PhD, MSc and honours students in both South Africa and Australia.

Professor Haynes has carried out research in commercial horticultural, pastoral, arable and forestry production as well as in small-holder semi subsistence agriculture. He has also worked on bioremediation of soils contaminated with organic pollutants, rehabilitation of mined sites, application of organic and inorganic wastes to soils and the effects of heavy metal contaminants on soil processes. His research has been mainly in the areas of applied soil chemistry and soil microbiology/biology with links to soil physical properties and to pollution of air and water. He has specialised in working on applied problems and maintains strong links with industry. Major areas of research have included the role of grazing animals in the fertility of pastoral soils, N cycling and gaseous and leaching losses from arable and pastoral systems, soil quality and soil degradation under agricultural land use, effects of soil contaminants on soil processes, rehabilitation and remediation of contaminated, degraded and mined sites and use of wastes as soil amendments.

2016 - 2020, Ph.D., Data Science, University of Queensland (UQ), Supervised by Prof. Xiaofang Zhou and Prof. Sibo Wang

Baojie is a (Full) Professor of Urban Climate and Sustainable Built Environment with the School of Architecture and Urban Planning at Chongqing University, China. He is currently leading the Centre for Climate-Resilient and Low-Carbon Cities with the focus on Heat-Resilient and Low-Carbon Urban Planning and Design. Baojie has published more than 170 peer-reviewed papers in high-ranking journals and delivered more than 40 invited talks in reputable conferences/seminars. Baojie has a SCOPUS H-index of 49 (Scopus). Baojie has been involved in several large research projects on urban climate and built environment in China and Australia. Baojie has been invited to act as Associate Editor, Topic Editor-in-Chief, Leading Guest Editor, Editorial Board Member, Conference Chair, Sessional Chair, Scientific Committee by a variety of reputable international journals and conferences. Baojie received the received the Most Cited Chinese Researchers Title in 2024, Highly Cited Researcher Title (Clarivate) in 2022 and 2023, the Sustainability Young Investigator Award in 2022, the Green Talents Award (Germany) in 2021, and National Scholarship for Outstanding Study Abroad Students (China) in 2019. Baojie was ranked as one of the Top 2% Scientists by the Mendeley in 2020, 2021, 2022, and 2023.

Professor Brian Head joined the University of Queensland in mid-2007 after holding senior roles in government, universities, and the non-government sector. He is the author or editor of several books and numerous articles on public management, governance, social isues and environmental policy. His major interests are evidence-based policy, complex or 'wicked' problems, program evaluation, early intervention and prevention, collaboration and consultation, public sector integrity, and leadership. He has undertaken several consultancies on program evaluation, policy review, organisational performance, and good governance processes. He has strong interests in applied research across many areas of public policy and governance, and is committed to building closer links between the research and policy sectors. His recent books include Wicked Problems in Public Policy (2022, Palgrave, open access), Reconsidering Policy (2020, Policy Press, co-authored), and Learning Policy, Doing Policy (2021, ANU Press, co-edited).

Dr Karyn L Healy is a registered psychologist with expertise in addressing bullying and conflict. She has extensive practical experience working with schools, parents and children to prevent and address bullying, and resolve conflict. Karyn has a Masters of Organisational Psychology, specialising in change management, process consultancy, training and facilitation, and conflict management. Her PhD investigated intervening with families of children bullied by peers at school, which is a promising new approach to complement school anti-bullying programs. Karyn is co-author of Resilience Triple P program, a family program to address school bullying. She has published papers in Tier 1 peer-reviewed journals, as well as several book chapters about school bullying. She is author of several widely read pieces in The Conversation about school bullying. She was a featured presenter at the National Centre Against Bullying Conference in Melbourne in 2016. In 2018, she was engaged by Australia’s Safe and Supportive School Communities committee to develop a professional development resource for staff on how to manage parental reports of bullying; this has now been made available to all Australian schools. Karyn is an Associate Editor of the Journal of Child and Family Studies and served as a member of the Queensland Anti-Cyberbullying Committee.

Michael Healy is an NHMRC Emerging Leadership Fellow at the University of Queensland's Institute for Molecular Bioscience. He is a structural biologist with expertise in protein structure determination, membrane trafficking, and computational protein design.

Michael's early research focused on the Commander complex, a key regulator of membrane trafficking in cells. He resolved the first structure of this complex using a combination of X-ray crystallography, cryo-electron microscopy, and machine learning approaches, including AlphaFold2. This work was publised in Cell (2023) and established him as a respected member of Australia's computational structural biology community. Where he is known for training researchers from diverse backgrounds in the application of AlphaFold2 and its derivatives.

Currently, supported by NHMRC funding, Michael is developing novel biologics that target membrane trafficking complexes. His work ivestigates, Molecular tool development, Biosensor design and development of theraputic candidates. His research combines cutting-edge computational protein design with experimental validation to advance new strategies for probing and manipulating membrane trafficking pathways.

Professor Karen Healy AM is the Head of the School of Nursing, Midwifery and Social Work. Professor Healy's work examines and develops community-based approaches to improving health, wellbeing and safety with people and families across the life-course. She is committed to improving outcomes with people and families experiencing disadvantage and marginalisation.

Professor Healy's research themes are family and community-led practice, child protection, research co-design, health equity, and social inclusion. Karen, and her research group, lead a large research program on community-based and family inclusive approaches to child protection. This includes a national project on empowering parents and families as partners in child protection. Together with Micah Projects and Professor Diane Depanfilis from City University New York, Karen's team is conducting a trial of ‘Family Connections.’ This is a family inclusive approach to promoting children's safety and family wellbeing in families at increased risk of child removal by child protection authorities.

Karen collaborates with Aboriginal and Torres Strait Islander people to support culturally responsive practices across health and human services sectors and to continue to build recognition of Aboriginal and Torres Strait Islander ways of knowing, doing and being. Karen has supervised Aboriginal and Torres Strait Islander research higher degree students to complete projects on community-led approaches to health, safety, and wellbeing.

Karen is an experienced university educator. Her teaching practice focuses on developing health and social work professionals’ capacity to collaborate with people receiving services and their families. She has led initiatives in simulated learning on foundational and advanced communication skills, family group meetings and mediation, and teamwork.

In 2016, Karen received an Order of Australia (AM) for her contribution to social work in child protection, higher education, and research. In September 2018, Higher Education Academy (UK) appointed her as a Principal Fellow.

Genevieve is a Professor of Physical Activity and Health at the University of Queensland and an MRFF Emerging Leadership Fellow. Her research focuses on sedentary behaviour and physical activity in adults across the 24-hour day, including understanding impacts on health, wellbeing and performance, and the feasibility, acceptability and sustainability of modifying these behaviours in key settings and populations including desk-based workers and those with or at risk of type 2 diabetes. Co-design with stakeholders and end-users is embedded across her research program, which includes working with government, clinical, public health, private industry, not-for-profit, community and workplace partners in research and its’ translation into policy and practice. She leads the BeUpstanding program of research - an online workplace health and wellbeing initiative supporting teams of desk-based workers to reduce their sedentary time

I am a Science Advisor for the Threatened Species Index (TSX) at the Terrestrial Ecosystem Research Network (TERN) and an Affiliated Researcher with the Centre for Biodiversity and Conservation Science. The TSX integrates long-term monitoring data for Australia’s threatened and near-threatened species to estimate abundance trends. A key focus of my role is assisting to get the hard-won data of Australia’s ecologists into the TSX, including working with data providers to generate reliable time-series of abundance or occurrence rate from their data. Ultimately, I help to ensure that the TSX continues to provide accurate and up-to-date information on population trends for Australia’s imperilled species.

Outside of the TSX, I continue to pursue research on the spatial and temporal dynamics of declining species, seeking insights into population processes that can guide conservation planning. My projects usually lie at the intersection of applied ecology and herpetology, because I’ve been fascinated by reptiles and amphibians since I was a boy, and the obsession shows no sign of abating. Whatever the taxa, my aim is to provide insights and tools that can support practical, on-ground conservation decision-making.

Kerry Heckenberg is currently an active research member in the School of Communication and Arts at the University of Queensland with experience in teaching both science (physiology) and art history at this university.

We are currently investigating biological processes that valorise waste carbon, typically gaseous compounds such as CO2, CO​, or CH4. Microbial biotechnology is our focus due to its scalability, efficiency, and stability - being capable of utilising typical catalysis contaminants such as NOx and H2S. Further, certain hydrogenotrophs and methanotrophs (H2 and CH4 utilising organisms) have metabolic properties that make them attractive for use in the circular carbon economy (e.g. co-uptake of CO2 and CH4 as sole carbon and energy sources). A wide-range of products can also be made, from short-chain alcohols to polymers and tailored animal feeds. To better understand their ability for real-world application, we characterise their metabolism using multi-omics analysis methodologies and then optimise it through data-driven hypotheses and testing. My main interests include

• identifying genes (and their regulation) essential for desirable traits, and methods for manipulation of those genes to enhance a bioprocess.
• (methods for) identifying and alleviating bottlenecks in metabolism.
• creating novel C1 metabolic pathways through culturing of synthetic microbial consortia and/or metabolic engineering.

​James recently submitted completed his PhD, where he was also working in the Marcellin Group. Prior to this, he studied for a BE(Hons.) in Chemical and Process Engineering (with Bioprocess minor) at the University of Canterbury (NZ) and became interested in further study after a summer research internship. His PhD research employed systems biology and bioprocess engineering principles to build datasets that expanded our understanding of gas fermentation in an industrially relevant manner. In partnership with LanzaTech, the World leader in commercial gas fermentation, this analysis focused on the industrially-relevant and model acetogen Clostridium autoethanogenum. Current interests in reducing global CO2 levels and high efficiencies encouraged us to investigate this biological system as a potential CO2 recycling platform.