Contact Information

Moonzoo Kim (김문주 in Korean, 金文柱 in Chinese)

Rm# 2434, CS Dept. KAIST
373-1 Guseong-dong, Yuseong-gu

Daejeon 305-701 Republic of Korea

TEL: +82-42-350-3543

FAX: +82-42-350-3510
mailto: moonzoo [at] cs.kaist.ac.kr

CV (pdf)

Announcement

• Mar 16, 2009:
• KAIST CS graduate students who are interested in Provable Software Lab should contact me soon, since I will be out of town for the next week (Mar 21~28). 
• We are offering a post doc position in the area of software testing or verification.  If you are interested, please contact me.
  

Background

• Sep 2006 - present: Assistant professor at CS dept. KAIST, leading Provable Software Lab
• 2004 - Aug 2006: Researcher at Pohang University of Science and Technology
• 2002 - 2004: Research Engineer at Samsung SECUi.COM
• 1995 - 2001: Ph.D degree in CIS, Univ. of of Pennsylvania
  Dissertation: Information extraction for run-time formal analysis (slides)
  Advisor: Sampath Kannan and Insup Lee
• 1992 - 1995: B.S. degree in Computer Science, KAIST
• 1990 - 1992: Seoul Science High School

Research Interests

• Software analysis (software testing and model checking , runtime verification)
• Software engineering (automated software analysis and reverse engineering/re-engineering)
• Embedded systems (formal approach for modeling, design and testing)

Teaching

• Spring 2010, Computer Science Project B
• Fall 2009, CS453 Formal Software Verification Techniques
• Spring 2009, CS550 Intro. to Software Engineering
• Fall 2008, CS655 System Modeling and Analysis
• Spring 2008, CS350 Introduction to Software engineering
• Fall 2007, CS402 Introduction to Logic
• Spring 2007, CS550 Introduction to Software Engineering
• Fall 2006, CS750B Software Model Checking

Professional Activities

• Conference Program Co-Chair:
• Intl. Conf. on Advances in System Testing and Validation Lifecycle (VALID),  Porto, Portugal, 2009
• 6th International Symposium on Automated Technology for Verification and Analysis (ATVA), Seoul, Korea 2008
• Conference Program Committee:
• 2010: QSIC, COMPSAC, ICTAC
• 2009: Quality Software (QSIC), ATVA, Formal Methods (FM), Intl. Colloquium on Theoretical Aspect of Computing (ICTAC), Runtime Verification (RV), Automated Software Engineering (ASE) tool track, APRES, Brazilian Symposium on Formal Methods (SBMF)
• 2008: RV, Adaptive and Reconfigurable Embedded Systems (APRES)
• 2007: International Conference on Embedded Software and Systems (ICESS), RV, ATVA

• Trustee of Korean Software Engineering Soceity :2008

(Link to) Publications

Projects

• "SAT Solver based Verification of Embedded Software for Improved Reliability" funded by Korea Research Foundation (KRF): 2008-2009

• "Target Architecture Neutral Development & Verification Techniques for Embedded Software" funded by Electronics and Telecommunication Research Institute (ETRI): 2008-2009

• "Formal Verification Techniques for Improving the Development Productivity of Embedded Software" funded by KAIST Institute of IT (KIIT): 2008

• "Formal Verification of Flash Memory Software" funded by Samsung Electronics: 2007-2008

• "Formal Specification & Verification of USP file-system" funded by Samsung Electronics: 2006-2007

Words from the Bible

• Jesus replied, "You must love the Lord your God with all your heart, all your soul, and all your mind". This is the first and greatest commandment. A second is equally important:"Love your neighbor as yourself". All the other commandments and all the demands of the prophets are based on these two commandments... Matthew 23:37-40

• But he said to me "My grace is sufficient for you, for my power is made perfect in weakness". Therefore I will boast all the more gladly about my weaknesses, so that Christ's power may rest on me. That's why, for Christ's sake, I delight in weaknesses, in insults, in hardships, in persecutions, in difficulties. For when I am weak, then I am strong....2Corinthians 12:9-10

• Through love and faithfulness sin is atoned for, through the fear of the LORD a man avoids evil... Proverb 16:6

• We are made right in God's sight when we trust in Jesus Christ to take away our sins. And we all can be saved in this same way, no matter who we are or what we have done ... Roman 3:22

• Love is patient, love is kind. It does not envy, it does not boast, it is not proud. It is not rude, it is not self-seeking, it is not easily angered, it keeps no record of wrongs. Love does not delight in evil but rejoices with the truth. It always protects, always trusts, always hopes, always perseveres... 1Cor 13:4 - 7