2023-07-21 – This mid-year period has seen Gernot Heiser and other TS members present around the world.

After the ACM Software System Award, Gernot Heiser participated in the IFIP Working Group 10.4 meeting on the Future of Dependable Computing and Fault Tolerance in Arcos de Valdevez, Portugal.

Gernot and Ivan Velickovic delivered a seL4 tutorial at the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). Gernot also gave a keynote, titled "Intelligent Vehicle Security Needs a Verified Operating System” at the DSN-affiliated Workshop on Safety and Security of Intelligent Vehicles and participated in a panel discussing intelligent vehicle security.

Gernot gave a talk titled “Secure Systems Design on seL4” at the RITICS-Space meeting, organised by Imperial College’s Research Institute in Trustworthy Inter-Connected Cyber-Physical Systems in London, UK.

Gernot attended the 17th Usenix Symposium on Operating Systems Design and Implementation in Boston, USA and participated in the SOSP Program Committee meeting.

Gernot, together with June Andronick, visited UK’s Defence Science & Technology Lab (Dstl) in Salisbury, UK for discussions about the development and deployment of seL4-based systems.

Gernot visited Airbus Defence & Space in Manching near Ingolstadt, Germany for discussions around seL4. (This photo is of Gernot Heiser outside the Airbus site with a Barracuda drone)

2023-06-19 – Gernot was in San Francisco last week to accept the ACM Software System award on behalf of the team. More information from our previous news item is below:

The Association for Computing Machinery (ACM) has awarded the prestigious ACM Software System Award to TS members Gernot Heiser and Kevin Elphinstone, and others.

The ACM Software System Award recognises the development of a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both. It carries a prize of US$35,000. Professor Heiser and his team receive the award for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, machine-checked proof of functional correctness.

A huge congratulations goes out to the whole team:

2023-06-19 – Two TS team members have been honoured in the most recent CSE Awards.

Patrick Hao has been awarded the Arista Networks COMP9242 Prize.

Gordon Tsun Wang Sau has been awarded third place in the Jane Street COMP3141 Prize.

A big congratulations to Patrick and Gordon! More information and a full list of winners is here

2023-05-05 – The Association for Computing Machinery (ACM) has awarded the prestigious ACM Software System Award to TS members Gernot Heiser and Kevin Elphinstone, and others.

The ACM Software System Award recognises the development of a software system that has had a lasting influence, reflected in contributions to concepts, in commercial acceptance, or both. It carries a prize of US$35,000. Professor Heiser and his team receive the award for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, machine-checked proof of functional correctness.

A huge congratulations goes out to the whole team:

2023-04-19 – Gernot Heiser has been elected to the German National Academy of Science Leopoldina. Leopoldina is the oldest continuous scientific academy in the world, operating for over 360 years. Elections is based on strict standards of scientific excellence and all members must be actively working in their fields. Congratulations, Gernot! Read more about it on the UNSW News Page.