Gernot Heiser (@gernotheiser) 's Twitter Profile
Gernot Heiser

@gernotheiser

Microkernel dude, UNSW prof, looking for PhD students in OS

ID: 109024293

linkhttp://gernot-heiser.org calendar_today27-01-2010 18:50:02

2,2K Tweet

1,1K Followers

52 Following

Gernot Heiser (@gernotheiser) 's Twitter Profile Photo
Gernot Heiser
@gernotheiser

6 years ago

Exciting announcement, hot off the press at the #seL4 Summit: We are setting up the seL4 Foundation! Calling for (institutional) Founding Members to help us take the world’s most #secure OS to the next level!