The course explains how to execute scalable algorithms on fault-tolerant quantum computers. It describes error correction used to build reliable logical operations from noisy physical operations, and how quantum programs are mapped into logical operations sets taking into account layout constraints.