Abstract: Shimura varieties are algebraic varieties that play an important role in number theory and the Langlands program. I will discuss constructions of models of Shimura varieties over the integers and recent results about the singularities of their reductions modulo primes that divide the level.