Superstrings, Phenomenology and F-theory

We give brief ideas on building gauge models in superstring theory, especially the four-dimensional models obtained from the compactification of F-theory. According to Vafa, we discuss the construction of F-theory to approach non-perturbative aspects of type IIB superstring. Then, we present local models of F-theory, which can generate new four-dimensional gauge models with applications to phenomenology.