Gernot Heiser (Q5552364)
Jump to navigation
Jump to search
Australian computer scientist
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Gernot Heiser |
Australian computer scientist |
Statements
1957
1 reference
1 reference
26 March 2019
8 January 2015
1 reference
2014
8 January 2015
For contributions demonstrating that provably correct operating systems are feasible and suitable for real-world use (English)
1 reference
Gernot Heiser
0 references
Identifiers
1 reference
Sitelinks
Wikipedia(1 entry)
- enwiki Gernot Heiser
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Gernot Heiser