This graduate course develops the theory and application of life insurance products. Beginning with basic life insurance and annuity valuation, the course introduces the concepts of premium reserving, multiple decrements, multiple life insurance, and expense loading. As well, topics in pension mathematics will be covered. The course and projects emphasize numerical implementation and practical relevance.