Tweets

You blocked @GernotHeiser

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @GernotHeiser

  1. Jan 29

    ‘Embarrassingly slow’: Australia’s broadband internet ranked fourth slowest in OECD – well done, !

    Undo
  2. Retweeted
    Jan 27

    Are you from non US institutions and would love to be in Sydney for CPS-IoT Week 2020? We're pleased to announce Student Travel Grants for Non-US Institutions.

    Show this thread
    Undo
  3. Retweeted
    Jan 22

    I’m looking forward to becoming the head of school in Computer Science and Engineeering in Sydney Australia.

    Undo
  4. Retweeted
    Jan 16

    Verified seL4 on secure RISC-V processors

    Undo
  5. Jan 16

    Returning home from the smell of smoke has been replaced by the smell of extinguished fire. Grateful for the rain!

    Undo
  6. 18 Dec 2019

    I’m looking for a PhD student with strong systems skills for developing a secure, Android-based IoT OS running on

    Undo
  7. 12 Dec 2019

    Tutorial on running on the Renode simulator, presented by DornerWorks at

    Undo
  8. 12 Dec 2019

    posters at#RISCVSUMMIT, presented by Critical Technologies Inc

    Undo
  9. 8 Dec 2019

    What does ’s license imply? tl;dr nothing you should have to worry about; it won’t infect your valuable IP and in most cases you shouldn’t even touch the GPLed code

    Undo
  10. 5 Dec 2019

    Are you going to the in San Jose next week? There’ll be a number of seL4 activities: My talk "seL4 on RISC-V: Verified OS for True Security” Wed 1.50pm, the DornerWorks tutorial "seL4 on RISC-V Renode”, and a poster from the seL4-US CoE

    Undo
  11. 5 Dec 2019

    Entrepreneur Ada Guan, CEO of Rich Data Corporation was today’s CSE Graduation speaker. Turns out she did my Advanced OS course >20 years ago. AOS, the training ground of the IT elite

    Undo
  12. Retweeted
    4 Dec 2019

    We compiled a long list of Threats to Validity/Relevance in Security Research for our students, building on common sense & our papers on malware experiments and on benchmarking (and inspired by 's excellent blog). Perhaps useful for others?

    Undo
  13. 30 Nov 2019

    My ’09 shirt won CSE’s “most obscure” price in the free-conference-tee competition

    Official t-shirt of SOSP’09
    Undo
  14. 20 Nov 2019

    Thick haze from bush fires in Sydney this morning. Visibility < 1km

    Undo
  15. 18 Nov 2019
    Undo
  16. 7 Nov 2019

    Ghost Locomotion is providing autonomous driving kits, and keeps them secure and safe:

    Undo
  17. 5 Nov 2019

    Ok, the Kiwis were 20 years behind in outlawing automatic weapons. But beyond that, we achieved in five years maybe 10% of what she did in two. Why can’t we have a government that deserves the name?

    Undo
  18. 29 Oct 2019

    Immensely honoured to have been involved in this work, and it being recognised for its long-term impact

    Undo
  19. Retweeted
    28 Oct 2019

    Well done to those who managed to submit their full papers to be considered for . Here’s some treat for you - a sneak peek of Sydney. If you didn’t manage, don’t fret. We will soon let you know which workshops are open for submission.

    Undo
  20. Retweeted

    Scientists in Siberia have discovered an area of sea that is "boiling" with methane because of melting permafrost. Escaping methane is just one of the positive feedback loops that threatens to greatly exacerbate global heating. Read more:

    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·