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.


  • Some victories

    In the last two days: I sent a draft of my dissertation to my committee! There are some parts that aren't quite finished; it's a…

  • My dissertation abstract

    So I need to write an abstract for my dissertation. Anyone wanna glance over this and tell me what you think? If you suggest any edits, keep in…

  • What December's been like so far

    Alex oniugnip has already written about what December has been like for us so far. Here's the story from my perspective. At the…

  • Post a new comment


    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded