Education
- Ph.D., Computer Science, KAIST, South Korea, March 2010 - Current.
- M.S., Computer Science, KAIST, South Korea, March 2008 - February 2010.
- B.S., Computer Science, Pusan National University, South Korea, March 2002 - February 2008.
Research Interests
Research Areas
- Compuatational and systems biology
Research Topics
- Boolean network modeling
- Large-scale Boolean network analysis
- Model verification
Professional Positions
- Teaching Assistant or Preceptor
- "Operating Systems," Department of Computer Science, KAIST, South Korea, Spring 2011
- "Introduction to Computer Network," Department of Computer Science, KAIST, South Korea, Fall 2011.
- Internship
- Electronics and Telecommunications Research Institute (ETRI), South Korea, December 2007 - February 2008.
- Systems Biology Ireland (SBI), Ireland, June 2012 - August 2012.
Awards and Honors
- Best Paper Award, Korea Conference on Software Engineering (KCSE), February 2009.
- Outstanding TA Award, Department of Computer Science, KAIST, Fall 2011.
Publications
Journals
-
Changki Hong, Jeewon Hwang, Kwang-Hyun Cho and Insik Shin,
"An efficient steady-state analysis method for large Boolean networks with high maximum node connectivity,"
Accepted for publication in PLoS ONE, December, 2015.
Conferences
-
Jungwoo Yang, Hyungseok Kim, Sangwon Park, Changki Hong and Insik Shin,
"Implementation of Computational Scheduling Framwork on Virtualization"
Proceedings of the 3rd Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS '10) in conjunction with IEEE RTSS '10 , San Diego, USA, November 2010.
-
Moonzoo Kim, Shin Hong, Changki Hong and Hotae Kim,
"Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay,"
Model-based Testing, York, United Kingdom, March 2009.
-
Moonzoo Kim, Changki Hong and Shin Hong,
"MOdel-based KERnel Testing (MOKERT) Framework,"
Korea Conference on Software Engineering (KCSE), Korea, February 2009, Best Paper Award
Tools
last update: July 2015.
|
