Automated Reasoning for Quantum Mechanics

Quantum Position Verification

Information Diffusion on Complex Networks

Our Biennial Report 2024-2025 is now available!

Vacancy Workshop coordinator

Some discomfort is inevitable—but that’s okay!