Moonzoo Kim's Home Page

mzkim2

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

C.V. (pdf) (updated Sep 2011)

Mar 2012 - present: Associate professor at CS dept. KAIST, leading Provable Software Lab
Sep 2006 - Feb 2012: Assistant professor at CS dept. KAIST
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

Software Verification and Validation (software testing, model checking and runtime verification)
Software Engineering (automated software analysis and reverse-engineering/re-engineering)
Embedded Systems (formal techniques for modeling and analysis)

Adaptive and Reconfigurable Embedded Systems (APRES) (2008-2009,2011-2012)
Automated Technology for Verification and Analysis (ATVA) (2007,2009)
Brazilian Symp. On Formal Methods (SBMF) (2009)
Formal Methods (FM) (2009)
IEEE/ACM Automated Software Engineering (ASE) tool track (2009)
IEEE Computer Software and Applications Conf. (COMPSAC) (2010)
Intl. Conf. on Secure Software Integration and Reliability Improvement (SSIRI) (2011)
Intl. Conf. on Software Engineering (ICSE) formal demonstrations track (2012)
Intl. Colloquium on Theoretical Aspect of Computing (ICTAC) (2009-2012)
Intl. Conf. on Embedded Software and Systems (ICESS) (2007)
Quality Software (QSIC) (2009-2011)
Runtime Verification (RV) (2007- 2009)
Verified Software: Theories, Tools and Experiments (VSTTE) tools & experiment workshop (2010)

Note that my papers that were written before 2003 used MoonJoo Kim as an author name instead of MoonZoo Kim.

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