Skip to menu
Skip to content
Skip to footer
Menu
Study
Research
Partners and community
About
Search
About
Profile and rankings
Profile and rankings
History of the University
History of the University
University seal
Rankings and recognition
Annual reports
Staff and student data
Strategy and values
Strategy and values
Strategic Plan
Strategic Plan
Shaping our next plan
A word from the Vice-Chancellor and President
Our vision, mission and values
Toward 2032
Domains
Domains
Learning, teaching and student experience
Research Roadmap
Enablers
Sub-plans and strategies
Past Strategic Plans
The Queensland Commitment
Office of 2032 Games Engagement
Office of 2032 Games Engagement
Strategy and governance
Our impact
Our experts
Our experts
Sport, health and inclusion
A better future for our environment
Economy of the future
Connecting people and places
Reconciliation at UQ
Reconciliation at UQ
UQ Stretch RAP
UQ Stretch RAP
Pillar 1 – Relationships
Pillar 2 – Respect
Pillar 3 – Opportunities
Pillar 4 – Governance
UQ's Reconciliation Journey
Sustainability
Sustainability
Sustainability Strategy
Energy efficiency and renewables
Diversity and inclusion
Diversity and inclusion
Disability services
SAGE Athena Swan Program
Other initiatives
Other initiatives
Investing in UQ's cultural future
UQ Sport Fitness Centre
Union Complex
Union Complex
Schonell Theatre and Geoffrey Rush Drama Studio
Student residence complex
Avalon Theatre restoration
St Lucia Master Plan
St Lucia Master Plan
St Lucia Draft Site Development Plan
Leadership and governance
Leadership and governance
Chancellor
Chancellor
Speeches and articles by the Chancellor
Speeches and articles by the Chancellor
A Contested Asia: What comes after US strategic predominance?
AUKUS is a good plan B for China. But let’s not bring on Cold War 2.0
Advance Connect | Digital Roundtable with Peter Varghese AO
Asialink Cambodia Conference 2021
Asialink Korea Dialogue 2021
Asialink Leadership Program 2021
Australia Bringing India Into Strategic, Economic 1st Tier | StratNews Global interview
Australia India China Business Forum
Australia and India: Building a Partnership
Australia, India and the Region: Perth USAsia Centre Public Lecture
Australian Governance Institute conference: workforce and productivity
Australian Institute of International Affairs (AIIA) National Conference
Australian Universities and China
Australian universities and China
Chancellor’s address to staff
China seeks client states not ideological conquests | Opinion – The Australian Financial Review
Edward 'Weary' Dunlop Lecture and Dinner
Engage & constrain or decouple from China is the Joe Biden question: Peter Varghese & Raja Mohan
Families Week Breakfast
Function in honour of Dr S. Jaishankar, Indian Minister of External Affairs
How best to manage our relationship with Beijing
India and the world: An Australian Perspective
Indian Ocean Conference, Symbiosis University
Introductory remarks: 2023 China Matters Oration
Is Australia in the dark about its most powerful neighbours?
Launch of 'Leadership through Disruption' by Andrew Liveris AO
Partnerships and Quality: A Chancellor’s Perspective
Regional cooperation: Harder but no less vital
Remarks on receiving the Weary Dunlop Medal
Repositioning Australian foreign policy
Research for Development Impact Conference 2021
The Indo Pacific and its strategic challenges: An Australian Perspective
The Michael Cameron Fund: 31 years of supporting Down syndrome research
The Quad yet to face consequences of China’s economic growth
The future of Australia India Relations
The international outlook and what it means for Australia
What should Australia do to manage risk in its relationship with the PRC?
Why engaging Asia matters even more
Vice-Chancellor and President
Vice-Chancellor and President
Speeches and articles by the Vice-Chancellor and President
Speeches and articles by the Vice-Chancellor and President
Celebrating Emeritus Professor Ian Frazer AC
Critical minerals, collaboration and training: The role of universities in mining’s global future
Promoting a ‘Fair Go’: Making equitable access to a university education a national imperative
Promoting a ‘fair go’: Making equitable access to a university education a national imperative
30th anniversary of the WH Bryan Mining Geology Research Centre
Announcing UQ’s Dutton Park Campus
CEDA State of the State, Brisbane
Celebrating 15 years of the UQ Centre for Clinical Research (UQCCR)
Celebrating 90 years of the Institute of Modern Languages at UQ
Courage and confidence
Dorothy Hill Women in Earth and Environmental Sciences Symposium
Facts, evidence and discovery: The vital role of our universities in pandemic recovery
From partnerships to prosperity
Going beyond inspiration
Investing in university research an investment in the national economy
Launch of UQ history book: ‘The University of Queensland 1910–1960: An essay towards a history’
Let's dare to be wise: Evidence and expertise are our best defence against future terrors
Opening of Kev Carmody House
Opening of the Andrew N Liveris Building
Opening of the HEDx ‘Future Solutions for Higher Education’ conference
Opening of the Plant Futures Facility
Re-opening of the Avalon Theatre
Showcasing the UQ–Mater partnership
Stepping up for the innovation tango
Strengthening Australia’s innovation ecosystem
Universities shine in the contest of ideas
Women Creating Change – the next 50 years
Senior Executive Team
Senior Executive Team
Provost
Chief Operating Officer
Deputy Vice-Chancellor (Academic)
Deputy Vice-Chancellor (Global Engagement)
Deputy Vice-Chancellor (Indigenous Engagement)
Deputy Vice-Chancellor (Research and Innovation)
Policies, procedures and guidelines
Policies, procedures and guidelines
Modern slavery response
Modern slavery response
Students at risk
Resources and training
Faculties, schools, institutes and centres
Faculties, schools, institutes and centres
Business, Economics and Law
Business, Economics and Law
About
About
Our leaders
Contact
Schools and centres
Study
Study
Current students
Research
Research
Research partnerships
Partners and community
Partners and community
Partnerships
Partnerships
Work with our students
Alumni
Alumni
Dean's Honour Roll
Indigenous engagement
News and events
Engineering, Architecture and Information Technology
Health, Medicine and Behavioural Sciences
Health, Medicine and Behavioural Sciences
About
About
Our leaders
Health clinics
Contact
Schools, institutes and centres
Schools, institutes and centres
Queensland Centre for Olympic and Paralympic Studies
Queensland Centre for Olympic and Paralympic Studies
Initiatives
Our people
Partners
Research
Research
Research partnerships
Higher degrees by research
Volunteer for a research study
Study
Study
Current students
Partners and community
Partners and community
Partnerships
Partnerships
Student placement partnerships
Research partnerships
Alumni
Indigenous engagement
Academic Title Holders
Giving and philanthropy
Health clinics
Marks-Hirschfeld Museum of Medical History
Event spaces
Get involved
Get involved
Volunteer for a research study
Simulated Patient Program
News and events
News and events
All news
Humanities, Arts and Social Sciences
Science
Campuses and facilities
Campuses and facilities
Museums and galleries
Museums and galleries
Marks-Hirschfield Museum of Medical History
Marks-Hirschfield Museum of Medical History
What’s on
Our collection
Get involved
Donate
Visit us
Safety and security
Academic calendar
UQ Experts
Careers and working with us
Careers and working with us
Why work at UQ
Recruitment process
Recruitment process
Relocating to Queensland
Equity, diversity and inclusion
Log in to application portal
Study
Research
Partners and community
About
UQ home
News
Events
Give
Contact
Search term
UQ home
News
Events
Give
Contact
UQ home
About
UQ Experts
Using decomposition and abstraction to support automatic reasoning about complex combined software and hardware systems.
Using decomposition and abstraction to support automatic reasoning about complex combined software and hardware systems. (2002)
Experts
Associate Professor Graeme Smith
Affiliate of UQ Cyber Research Centre
UQ Cyber Research Centre
Faculty of Engineering, Architecture and Information Technology
Associate Professor
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Graeme Smith
Emeritus Professor Ian Hayes
Affiliate of UQ Cyber Research Centre
UQ Cyber Research Centre
Faculty of Engineering, Architecture and Information Technology
Emeritus Professor
School of Electrical Engineering and Computer Science
Faculty of Engineering, Architecture and Information Technology
Ian Hayes
