Lindsey Kuper (lindseykuper) wrote,
Lindsey Kuper

I'll take that alien spacecraft now, thanks

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.


  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded