These are lecture notes for a master-level course given at KTH, Stockholm, in the spring of 2017.
With the primary aim of proving the stability of matter from first principles using modern mathematical methods in many-body quantum mechanics. General quantitative formulations of the uncertainty and the exclusion principles of quantum mechanics are introduced...