We describe microscopic theory for the quantum transport through finite interacting systems connected to noninteracting leads. It can be applied to small systems such as quantum dots, quantum wires, atomic chain, molecule, and so forth. The Keldysh formalism is introduced to study the nonlinear current-voltage characteristics, and general properties of the nonequilibrium Green’s functions are p...