Gernot Heiser
@GernotHeiser
Followers
2K
Following
502
Media
112
Statuses
2K
Microkernel dude, UNSW prof, looking for PhD students in OS
sometimes in Sydney
Joined January 2010
The Fedoverse didn't seem to go anywhere, so I have now moved to Bluesky. If any of my followers are still using this platform: You can now find me at
0
0
0
We are suspending our use of Twitter until further notice. We will instead provide updates on Mastodon:
fosstodon.org
74 Posts, 1 Following, 377 Followers · This is the official Mastodon account of the seL4 Foundation, an open, transparent and neutral organisation tasked with growing the seL4 ecosystem. It is set up...
0
1
9
Until further notice I'm suspending my activities on Twitter. The account will remain alive but dormant until I decide whether a full #TwitterExit is warranted. Meanwhile I'll be tooting as
discuss.systems
121 Posts, 4 Following, 304 Followers · Physicist by training, computer engineer by passion. Gernot Heiser FACM FIEEE FTSE FRSN ML is Scientia (distinguished) Professor and John Lions Chair of...
0
0
2
For the case that Twitter actually collapses or I find it is becoming incompatible with my values (both seem a real possibility), I've set up a (presently dormant) Mastodon account:
fosstodon.org
0 Posts, 0 Following, 1 Follower · Gernot Heiser FACM FIEEE FTSE FRSN is Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney. He is also the founding Chairman...
1
3
5
A great turnout at our Computing Research Expo recently, bringing together bright minds seeking to broaden research impact, and learn more about UNSW CSE's research capabilities across 6 research themes and 17 research groups More photos can be found here https://t.co/X88pP908q9
0
4
7
The possibly nicest time of the year in Sydney: Jacaranda season. Although I missed peak jackaranda (before there's any green) due to travel...
1
0
19
My latest blog: ML accelerates the cyber arms race — we need real security more than ever
microkerneldude.org
Machine learning is en vogue, being applied to many classes of problems. One of them is cybersecurity, where ML is used to find vulnerabilities in code, simulate attacks, and detect when an intrude…
0
3
5
Whoa! It really does happen! "Bank error in your favour – collect $450k." Someone must be sweating now...
0
0
3
It's sort of hilarious (while depressing) watching AU gov't biosecurity warning to incoming passengers: protecting "AU's unique wild live" with pix of koalas, which we're about to eradicate by habitat destruction – no bio hazards needed
0
0
3
Great to see - when is @antmicro going to join the @seL4Foundation?
Partnered with @GoogleAI to help build Sparrow, a secure ML platform on @RISC_V, #OpenTitan & the @rustlang #KataOS based on the #seL4 microkernel using our #opensource simulator @renodeio. See how we enabled #Rust apps & #GDB debugging for their system @GoogleOSS @seL4Foundation
0
1
9
Pleased to see that our member @Google has announced KataOS, a #security-focused #OperatingSystem, leveraging #Rust & #seL4 microkernel
1
3
23
The #seL4 #Summit is over. It was an awesome event. And it was fantastic to once again work closely with the incredible June Andronick, like in the old days. Thanks all who participated! @seL4Foundation
0
3
15
Usability is for user mode
Fav quote of #seL4Summit day 3: "With seL4, we have reached new heights of security and unusability." -@GernotHeiser (for those unfamiliar, usability has improved notably since that was first said, as seen in many of the talks this week... Still a great quote)
0
0
4
1
1
6
0
1
4
Discussion session on a standardised VMM and how to get there, led by Everton de Mantos from @TIIuae and Jason Sebranek from @cogsystems at #seL4 #Summit
0
1
4