LionsOS: Towards a Provably Dependable Operating System

#ieeecs #technical #lecture #industry #semantic #sciences #operatingsystem #ieeecshyderabad
Share


  Date and Time

  Location

  Hosts

  Registration


  • Add_To_Calendar_icon Add Event to Calendar
If you are not a robot, please complete the ReCAPTCHA to display virtual attendance info.
  • Contact Event Hosts

  •  

     

  • Starts 01 November 2024 09:38 AM UTC
  • Ends 03 November 2024 09:40 PM UTC
  • No Admission Charge

  Speakers

Gernot Heiser of School of Computer Science and Engineering of UNSW Sydney

Topic:

LionsOS: Towards a Provably Dependable Operating System

Gernot Heiser (born 1957) is a Scientia Professor and the John Lions Chair for operating systems at UNSW Sydney, where he leads the Trustworthy Systems group. 

In 1991, Heiser joined the School of Computer Science and Engineering of UNSW Sydney, originally as a lecturer, reaching the rank of full professor in 2002, a position he retains to date.

Also in 2002 he joined the newly created research organisation NICTA as one of its initial Program Leaders, in charge of the Embedded, Real-Time and Operating Systems (ERTOS) program. After a re-organisation in 2011 ERTOS became the Software Systems Research Group (SSRG) which he led. When NICTA was absorbed into CSIRO in 2016, Heiser stepped back from management of the group, which was then called Trustworthy Systems (TS). In 2021 CSIRO abandoned TS,[1] at which time Heiser took the group back to UNSW and re-assumed its leadership.

Since April 2020, Heiser serves as the Founding Chairman of the seL4 Foundation.

Biography:

https://en.wikipedia.org/wiki/Gernot_Heiser

Email:

Address:UNSW Sydney NSW 2052 , Australia , Sydney