Quantum computers require completely new software: Jens Eisert’s team is working on the interface between complex mathematical reasoning and practical applications.