We present an introduction to modern continuous model theory with an emphasis on its interactions with topics covered in this volume such as C∗-algebras and von Neumann algebras. The role of ultraproducts is highlighted and expositions of definable sets, imaginaries, quantifier elimination, and separable categoricity are included.