Dear friends, The news has already started to spread, so here it is from us: The 3 of us will be leaving our current positions in CSIRO/Data61 on April 13th. We will be starting a company focusing on formal verification of seL4-based systems and of critical software in general, towards the vision we continue to believe in: a world where critical systems are formally verified. We are looking forward to keeping working with you and we'll tell you more soon, when the company exists, so stay tuned! We will send you our future contacts shortly. Our seL4 and UNSW addresses below will still work in the future (but our CSIRO/Data61 email addresses will stop working from April 13th). june.andronick@unsw.edu.au june@sel4.systems gerwin.klein@unsw.edu.au gerwin@sel4.systems rafalk@cse.unsw.edu.au Cheers, June
Sorry I got Gerwin’s UNSW address wrong ;) Fixed now.
On 1 Apr 2021, at 5:52 pm, June Andronick (seL4 Foundation) <june@sel4.systems> wrote:
Dear friends,
The news has already started to spread, so here it is from us:
The 3 of us will be leaving our current positions in CSIRO/Data61 on April 13th.
We will be starting a company focusing on formal verification of seL4-based systems and of critical software in general, towards the vision we continue to believe in: a world where critical systems are formally verified. We are looking forward to keeping working with you and we'll tell you more soon, when the company exists, so stay tuned!
We will send you our future contacts shortly. Our seL4 and UNSW addresses below will still work in the future (but our CSIRO/Data61 email addresses will stop working from April 13th).
june.andronick@unsw.edu.au june@sel4.systems
kleing@unsw.edu.au
gerwin@sel4.systems
rafalk@cse.unsw.edu.au
Cheers, June
participants (1)
-
June Andronick (seL4 Foundation)