Dino Distefano (FaceBook and Queen Mary University) received the CAV Award 2016, together with his co-workers, for their work on Separation Logic and demonstrating its applicability on the automated verification of dynamic data structures.  Dino is the first Ph.D. student of Joost-Pieter Katoen, who supervised him together with Arend Rensink (Twente).