The current issue of the CACM has an article, Type theory comes of age. Not only is my advisor prominently depicted, but they also mention my area of research!

Thanks to Nate Foster for pointing this out to me.