Improving Software Quality using Automatic Invariant Discovery and Program Repair

Seeing the Unseen: "Invisible" Object 3D Reconstruction with Computational Imaging Approaches

Building Interactive Natural Language Interfaces

Enabling Computation, Control and Customization of Materials with Digital Fabrication Processes

Human-centric Indoor Layout Synthesis

Towards Trustworthy Decision-Making and AI: Explainability and Safety