The German Informatics Society as part of the Ecosystem Formally Verifiable IT (EvIT) organises a webinar series titled “Trustworthy Tuesday”. Once a month, researchers present their work in the field of formal verification.
In the next session on April 21st, Gernot Heiser will give his presentation “LionsOS: Security and Performance”. The operating system is based on the seL4 microkernel. It was developed by the Trustworthy Systems research group at the UNSW Sydney. Heiser, as the research group leader, will take time to present at the next Trustworthy Tuesday.
The objective of this initiative is to break down the complex topic of formal verification and trustworthy IT into small bites. Short inputs and a discussion round will provide an insight into research approaches and best practices.
We invite students, experts and other interested parties to “snack” on this new knowledge after their lunch break.
The event is happening on April 21st, starting at 12pm CEST on Zoom. The recording will be uploaded to the EvIT website after the event.
For any questions, please contact protect@gi.de
