I will give an overview of recent developments in F-theory GUT model building. First I will discuss the basic ideas of F-theory model building, exemplifying this by the construction of supersymmetric SU(5) GUTs. Then I will outline how global string theoretic consistency requirements impact the SUSY phenomenology. The main focus of this talk will be on the phenomenological implications of these models.