Regular biography
Moonzoo Kim is a faculty member in the School of Computing at KAIST. Their research is associated with the School of Computing, and they are affiliated with the CS department. They can be contacted via email at moonzoo@cs.kaist.ac.kr or through their website at http://swtv.kaist.ac.kr/~moonzoo.
Scholar-generated biography
Moonzoo Kim is an Associate Professor at the School of Computing, KAIST, specializing in software engineering and software testing. His research focuses on improving the reliability and correctness of software systems through advanced testing techniques and runtime assurance mechanisms. Kim's work includes the development of tools like Java-MaC for run-time assurance and the application of formal methods to monitor and verify temporal properties. He has also explored fault localization, concolic testing, and the analysis of concurrency errors in real-world applications. His research emphasizes the integration of formal verification with practical software development practices to enhance software quality and robustness.