Skip to Main Content
UNSW Logo
  • Study
  • Research
  • Faculties
  • Engage with us
  • About us
  • News & Events
  • Careers@UNSW
  • Alumni & Giving
  • Staff
  • Envelope icon Contact Us
UNSW Logo
  • UNSW Sydney
  • Engineering
  • Our schools
  • Computer Science and Engineering
  • Our research
  • Research groups
  • Trustworthy systems

Follow

Follow
  • LinkedIn
  • Twitter
  • Facebook
  • Instagram
  • TikTok
  • YouTube
Engineering School of Computer Science and Engineering
  • Home
  • About us
    • Academic staff
    • Professional staff
    • Contact us
  • Study areas
  • Our research
    • Research groups
      • AI and robotics for social good
      • Algorithmic decision theory
      • Algorithms
      • Computer vision
      • Computing and education
      • Data and knowledge research group
      • Embedded systems
      • Formal methods
      • Human-centred computing
      • Information security and privacy
      • Knowledge representation and reasoning
      • Machine learning
      • Networking and ubiquitous computing
      • Programming Languages and Compilers
      • Robotics
      • Software and data services engineering
      • Trustworthy systems
    • Facilities
    • Research centres and institutes
    • Research highlights
    • Potential PhD projects
    • Find a research supervisor
  • Engage with CSE
    • John Lions Chair
    • Alumni profiles
  • Student life
    • Clubs & societies
    • Prizes & awards
    • Key contacts
    • Student projects
      • RoboCup
    • CSE IT Helpdesk
    • Enrolment sequences
    • Course outlines
  • News & events
    • News
    • Events
  • Home
  • About us

    Academic staff

    Professional staff

    Contact us

  • Study areas
  • Our research

    Research groups

    • AI and robotics for social good
    • Algorithmic decision theory
    • Algorithms
    • Computer vision
    • Computing and education
    • Data and knowledge research group
    • Embedded systems
    • Formal methods
    • Human-centred computing
    • Information security and privacy
    • Knowledge representation and reasoning
    • Machine learning
    • Networking and ubiquitous computing
    • Programming Languages and Compilers
    • Robotics
    • Software and data services engineering
    • Trustworthy systems

    Facilities

    Research centres and institutes

    Research highlights

    Potential PhD projects

    Find a research supervisor

  • Engage with CSE

    John Lions Chair

    Alumni profiles

  • Student life

    Clubs & societies

    Prizes & awards

    Key contacts

    Student projects

    • RoboCup

    CSE IT Helpdesk

    Enrolment sequences

    Course outlines

  • News & events

    News

    Events

Trustworthy Systems

Visit group website
Boeing ULB helicopter flying in the sky

Focusing on the design, implementation and verification of real-world software systems that are safe and secure in the strongest sense – that of mathematical proof – the Trustworthy Systems Group’s activities range from fundamental research, to the creation of technology and its transfer to the real world. Areas include: operating systems; formal methods; programming languages, and cybersecurity. 

Our partners

  • Melbourne University
  • ANU
  • Chalmers
  • Proofcraft
  • Breakaway
  • seL4 Foundation
  • Technology Innovation Institute (UAE)
  • National Cyber Security Centre (UK)
  • ETH Zurich
  • Neutrality
  • Collins Aerospace
  • DARPA

Head of research group

Scientia Professor and John Lions Chair

Gernot Heiser

View Profile
opens in a new window

Our people

Research Professor

Carroll Morgan

View Profile
opens in a new window
Postdoctoral Research Fellow

Craig McLaughlin

View Profile
opens in a new window
Lecturer (EF)

Johannes Aman Pohjola

View Profile
Associate Professor

Kevin Elphinstone

View Profile
opens in a new window
Senior Proof Engineer

Miki Tanaka

View Profile
Senior Systems Consultant

Peter Chubb

View Profile
Postdoctoral Fellow

Scott Buckley

View Profile
Research Associate

Zoltan Kocsis

View Profile
Back to top Top
UNSW Sydney UNSW.edu.au

Engage with us

  • Contact us
  • Find an expert
  • Careers at UNSW
  • Education at UNSW

Study

  • UNSW International
  • Degree Finder
  • Student Portal
  • Academic Calendar

News, Media & Events

  • Newsroom
  • UNSW events
  • Research news

About us

  • Our rankings & reputation
  • Faculties and schools
  • Campus locations
  • Centres and institutes
  • UNSW Library

UNSW 
Sydney NSW 2052 Australia
Telephone: +61 2 93851000

UNSW CRICOS Provider Code: 00098G
TEQSA Provider ID: PRV12055
ABN: 57 195 873 179

Logo of partner Group of Eight Australia Logo of partner Universitas 21 Logo of partner APRU Logo of partner Plus Alliance
Australian Aboriginal Flag Flag of Torres Strait Islands

Acknowledgement of Country

UNSW is located on the unceded territory of the Bedegal (Kensington campus), Gadigal (City and Paddington Campuses) and Ngunnawal peoples (UNSW Canberra) who are the Traditional Owners of the lands where each campus of UNSW is situated.

The Uluru Statement

Follow Us

Follow Us
  • Follow UNSW on LinkedIn
  • Follow UNSW on Twitter
  • Follow UNSW on Facebook
  • Follow UNSW on Instagram
  • Follow UNSW on TikTok
  • Follow UNSW on YouTube
  • Follow UNSW on WeChat
  • Follow UNSW on Weibo
  • Privacy policy
  • Copyright & Disclaimer
  • Accessibility
  • Site feedback
  • Complaints
  • Sitemap