You can move another page by clicking top menu.

Welcome to my personal place. I wanna be Computer Scientist, so I am studying about Computer's Theory not about Machine.

Current : Common Technology Team Research Engineer, Suresoft Technologies Inc., http://www.suresofttech.com

2009: M.S. , School of Information Media Engineering, Korean University of Technology and Education PLLAB (스승님 신승철)

2006: B.S. Computer Science in Dongyang University

I am interested in almost computer science. Especially, I like Programming Languages theories, Multi Level Programming, Image Processing the most. So, I wanna research about them before I die. Now, I'm studying programming languages theory and practice in Programming languages Laboratory at KUT. The following are what I am interested in.

Program Analysis

• model checking
• abstract interpretation
• test case generation

Proof

• by coq

Type System

Isomorphism

Language Security


And I like writing. So I write about Computer Science under the pen name of "ruffin". I usually write about my learning. But I sometimes write to inform Functional Language.