Peter Høyer - Quantum Algorithms - Tech talk