|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
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
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.