Roope Kaivola, a 1997 LFCS PhD graduate has received a major verification award at POPL 2014.
Roope now works for Intel Corporation (Oregon USA) and the award is for the Intel Core i7 verification project. While formal methods were applied within a number of areas of the Core i7 project, the award is being given in recognition for Roope's role as intellectual leader of the core execution cluster as well as his leadership of the verification team.
Roope completed his PhD, Using Automata to Characterise Fixed Point Temporal Logics, supervised by Colin Stirling, in 1997.
The full citation can be found here: