Modelling of Superconducting Devices

In this course we discuss tools for the theoretical and numerical modeling of superconducting devices with Josephson junctions (circuit-QED). We discuss the theory of electric circuit quantization and black-box quantization which allows one to translate electric circuits into Hamiltonians and their dissipative environment. We review various of the known superconducting qubits, couplers and amplifiers obtained within this description. We use the language and tools of quantum optics to understand essential properties and dynamics of the devices. Some guest lectures will be given.