Speaker: Yuanfang Cai (Drexel University) Title: Modularity in Design: Formal Modeling and Automated Analysis Abstract: Reasoning about the evolvability properties and economic implications of design structures is critical to high-consequence decision-making, but it remains difficult, in part due to the lack of formal theories linking design structures to evolvability and economic properties, and