Curriculum Vitae

• Vice President, College of Engineering, Chonnam National University, Gwangju (Aug. 2022 ~ July 2024)
• Professor, SW Lab, Dept. of Software Engineering, Chonnam National University, Gwangju (Sept. 2021 ~)
• Associate Professor, Chonnam National University, Gwangju (Sept. 2016 ~ Aug. 2021)
• Visiting Scholar, LFCS, The University of Edinburgh (Feb. 2021 ~ Jan. 2022)
• Visiting Scholar, LFCS, The University of Edinburgh (July 2019 ~ Aug. 2019)
• Assistant Professor, Computer and Telecommunication Engineering, Yonsei University, Wonju (Mar. 2011 ~ Aug. 2016)
• BK21 Research Prefessor, Dept. of Computer Science and Engineering, Sogang University (Oct. 2010 ~ Feb. 2011)
• Chief Research Engineer, Mobile Communicaion Research Institute, LG Electronics (Apr. 2006 ~ Sept. 2010)
• Research Associate, RIEC(Research Institute of Electrical Communication), Tohoku University (Apr. 2005 ~ Mar. 2006)
• Research Associate, School of Information Science, JAIST (Sept. 2003 ~ Mar. 2005)
• Research Associate, Research Center on Program Analysis System (ROPAS) (May 2003 ~ Aug 2003)
• Ph.D., Programming Languages Laboratory, Dept. of Computer Science, KAIST (Aug. 2003)
• M.S., Dept. of Computer Science, KAIST (Feb. 1996)
• B.S., Dept. of Computer Science, KAIST (Feb. 1994)
• Gwangju Science High School (Feb. 1989)

Research topics

• Programming language design, type system, Compiler
• Functional programming such as Haskell
• Software engineering
• Software security: Vulnerability detection, secure coding, self-modification codes, fuzzing testing

Some Quotes

"Types are the central organizing principle of the theory of programming languages." -Robert Harper

"If you don't understand interpreters, you can still write programs; you can even be a competent programmer. But you can't be a master." -Hal Abelson

"The design of computing systems can only properly succeed if it is well grounded in theory, and the important concepts in a theory can only emerge through protracted exposure to application." - Robin Milner