Opportunities and barriers to facilitating evidence-based discussion about civic issues

Advancing Rigor in Learning Technology for Formal Systems

Taming Flaky Tests in a Non-Deterministic World

Towards Human-Level Intelligence for 3D Understanding

Algorithms and Applications for Hypergraph Data Analysis

Building Trustworthy Systems for Fighting Modern Threats