Photos from an October, 2009, visit to the Motif#1 guest house, Heyri, South Korea, made by the owner, Ansoo Lee (thank you!). Kyung-Goo Doh, SeungCheol Shin, and me:

I am a native Kansan, and I have been employed at Kansas State University since 1986. Here is my vita. My interests lie in design, analysis, and application of programming languages. I like to use techniques like denotational semantics and abstract interpretation to understand why some languages and programs work better than others. I am also interested in techniques for stating program properties and proving programs correct with respect to the properties.