I've mentioned before the fact that we have hired some amazing people recently. It hasn't stopped. This week we welcome Samin Ishtiaq, who's joined as an RSDE working with Byron et al.
Samin worked on BI with David Pym and Peter O'Hearn and also wrote the paper "BI as an Assertion Language for Mutable Data Structures" (POPL 01) that laid much of the foundations for the current wealth of work in separation logic.
Cambridge (MSRC and UCAMCL) is now becoming one of the serious powerhouses for separation logic - use your favourite search engine to check out our work!