Constructive Logic and Layout Synthesis by Yoonna Oh