Stefano Bettelli is devising an object-oriented programming language for quantum computers.