Yoonsik Cheon's Research Overview

My research philosophy is to produce research that advances the practice of developing correct and reliable computer programs. I strongly advocate that formal methods---mathematically-based techniques for the specification, development and verification of computer programs---should play an important role in the development of computer programs. However, the high cost associated with formal methods has limited their use only to the development of high-integrity systems. My research goal is to enable a wider use of formal methods. This involves developing theories and techniques usable by practicing programmers with minimal mathematical background. I call my research field operational formal methods---formal methods that are practical and applicable to real-life programming. These include, but are not limited to, specification languages, verification and reasoning techniques, and support tools.

To summarize, my research interests, experience, and future directions are broadly spread over all the fields of what I refer to as operational formal methods, and I am excited about pursuing researches in these areas and look forward to collaborating with other people who share the same vision of practical application of formal methods.

Last modified: $Id: overview.html,v 1.3 2009/03/06 06:42:36 cheon Exp $