Professor Karl Levitt has been awarded of the Jean-Claude Laprie Award in Dependable Computing
2014, for his paper:

J.H. Wensley, L. Lamport, J. Goldberg, M.W. Green, K.N. Levitt, P.M. Melliar-Smith, R.E. Shostak,
C.B. Weinstock, “SIFT: The Design and Analysis of a Fault-Tolerant Computer for Aircraft Control”,
Proceedings of the IEEE, vol.66, no.10, 1978, pp.1240-1255.

Dependable Computing and Fault Tolerance, in honor of Jean-Claude Laprie (1944-2010) and,
according to its charter, intends to “recognize outstanding papers that have significantly influenced
the theory and/or practice of Dependable Computing”. Exceptionally, the award may be given to
more than one paper.