In the grad program research I've been doing, it's exciting if I can find even one or two people at a school who are interested in verification. If I do find someone, it's usually a secondary interest of theirs. As of the weekend, I had found exactly one person who listed "formal methods and verification" as his number-one research interest.
Last night I learned that he died tragically in an automobile accident in 1999 one week after defending his dissertation.
She thought that trying to live life according to any kind of plan you actually work out is like trying to buy ingredients for a recipe from the supermarket. You get one of those carts, which simply will not go in the direction you push it, and end up just having to buy completely different stuff. What do you do with it? What do you do with the recipe?
Pretty much exactly how that made me feel.