Hee Jae Shin

Education

• 2008 ~       :  M.S. Candidate, School of Computer Science and Engineering, Seoul National University
• 2004 ~ 2008:  B.S., Computer Science & Engineering, POSTECH
• 2002 ~ 2004:  Daejeon Science High School

Research Interests

• Program Analysis
• Functional Programming
• Type Theory

Other Interests

• Basketball
• Swing Dance