A recent photo from SAS2006; I am on the left (Kwang Yi is on the right):

From the rear, same meeting, speaking with Honseok Yang:

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 formal semantics and abstract interpretation to understand programming languages and programs and to explain why some languages and programs work better than others. I am also interested in techniques for synthesizing proved-correct code.