David Cock ist Co-Preisträger des ACM Software System Award

David Cock, Senior Researcher und Dozent am Departement Informatik, ist einer der Preisträger des renommierten ACM Software System Award. Die Auszeichnung wird für die Entwicklung des ersten industrietauglichen Hochleistungsbetriebssystems verliehen, für das ein kompletter, mechanisch geprüfter Beweis der vollständigen funktionalen Korrektheit erbracht wurde. Mit der Verleihung dieses Preises würdigt die Association for Computing Machinery (ACM) Personen, deren Arbeit einen Einfluss auf Rechenzentrumsnetzwerke, Software, Algorithmen und KI hat.

David Cock doktorierte an der University of New South Wales & National ICT Australia. Seit 2015 ist er am Institut für Rechnerplattformen des Departements Informatik der ETH Zürich tätig. Als Teil der Network and Operating Systems Group leitet er das Projekt Enzian. Enzian ist ein Forschungscomputer, der für die Erforschung von Computersystemen und Software entwickelt wurde und bewusst übertechnisiert ist. Ziel des Projekts ist es zum einen, den Designraum für Computerplattformen jenseits kommerzieller Angebote und optimierter industrieller Punktlösungen zu erkunden. Das zweite Ziel ist es, eine maximal flexible, leistungsstarke Plattform für Systemsoftware und Architekturforschung zu schaffen und sie der Forschungsgemeinschaft zur Verfügung zu stellen.

Neben seiner Forschungstätigkeit lehrt Cock auch im Bereich fortgeschrittener Betriebssysteme und informeller Methoden. 2019 erhielt David Cock bereits den ACM SIGOPS 2019 Hall of Fame Award für ein Papier, das er vor zehn Jahren mitverfasst hat.