In this thesis we give new constructions of a number of extremal type II codes. Algebraic proofs are provided that the constructions do in fact yield the codes. The codes are constructed using group rings of which the ...