I will introduce the basic notions of model theory, a branch of mathematical logic, and survey its applications to other areas of mathematics such as analysis, algebra, combinatorics and number theory. If time permits I will present recent work of myself with collaborators on amalgamation functors and homology groups for types in stable theories.