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