  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.
