Personal tools
You are here: Home Members moonzoo_kim

Moonzoo Kim's Home Page

mzkim3.jpg

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

C.V. (pdf) (updated June 2015)

Background

 

Research Interests

  • Automated software testing (dynamic symbolic executions, automated unit testing)   
  • Concurrent program analysis (concurrent coverage, thread scheduling algorithm)
  • Mutation-based software analysis (fault localization, SW metrics)
  • Industrial application of automated techniques ( Samsung smartphones, LG displays, Hyundai ECUs, etc)

 

(Link to) Publications 

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

 

Professional Activities

 

(Link to) Teaching 

 

(Link to) Projects


Words from the Bible null

 

 

  • 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

 

Document Actions
« July 2016 »
July
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
25262728293031