Non-perturbative structure in heterotic strings from dual F-theory models

We examine how to construct explicit heterotic string models dual to F-theory in eight dimensions. In doing so we learn about where the moduli spaces of the two theories overlap, and how non-perturbative features leave their trace on a purely perturbative level. We also briefly look at the relationship with NS9-branes