Education
Doctor of Philosophy, University Colorado, 2000.
Doctor of Philosophy, University Colorado, 2000.
Senior research and development engineer Samsung Inc., Democratic Peoples Republic of Korea, 1985—1995, principal research and development engineer Democratic Peoples Republic of Korea, 2000—2001. Staff research and development engineer Synopsys Inc., Hillsboro, Oregon, since 2001.
Author: (algorithm) To split or to Conjoin: The Question in Image Computation (Best Paper Award from Design Automation Conference, 2000), Border-Block Triangular Form and Conjunction Schedule in Image Computation, Simplifying Circuits for Formal Verification Using Parametric Representation, Least Fixpoint Approximations for Reachability Analysis, Approximate Reachability Don't Cares for CTL Model Checking.
Married Jong-Sook Won, April 4, 1992. Children: You-Jeong, Hannah Sharon.