[f-jin]

Recently been reading up on model checking, and Kripke structures are mentioned often. They are somewhat similar to Labeled Transition Systems, but then with propositions on the nodes instead of labels on the edges. Turns out they are named after this person, fascinating.

[the-smug-one]

They're named after Kripke for inventing them when he was in highschool. The kind of stuff that makes you feel woefully intellectually inadequate :-).