Wow, not often accomplishments from people you actually know and have had as teachers end up on the frontpage of HN. I was at the same talk by Kevin Knight as Schaefer and I can vouch for that it was a mighty interesting one! I actually changed my curriculum a bit (to include cryptography) as a result of his talk.