David Cock co-receives ACM Software System Award

David Cock, senior researcher in the System’s Group, is one of the co-​recipients of the prestigious ACM Software System Award. Congratulations!  

The award has been granted for the development of the first industrial-strength, high-performance operating system to have been the subject of a complete, mechanically-checked proof of full dAVIDfunctional correctness. More about the project...