Heavy neutrinos with masses below the electroweak scale can simultaneously generate the light neutrino masses via the seesaw mechanism and the baryon asymmetry of the universe via leptogenesis. The requirement to explain these phenomena imposes constraints on the mass spectrum of the heavy neutrinos, their flavour mixing pattern and their CP properties. We first combine bounds from different experiments in the past to map the viable parameter regions in which the minimal low scale seesaw model can explain the observed neutrino oscillations, while being consistent with the negative results of past searches for physics beyond the Standard Model. We then study which additional predictions for the properties of the heavy neutrinos can be made based on the requirement to explain the observed baryon asymmetry of the universe. Finally, we comment on the perspectives to find traces of heavy neutrinos in future experimental searches at the LHC, NA62, BELLE II, T2K, SHiP or a future high energy collider, such as ILC, CEPC or FCC-ee. If any heavy neutral leptons are discovered in the future, our results can be used to assess whether these particles are indeed the common origin of the light neutrino masses and the baryon asymmetry of the universe. If the magnitude of their couplings to all Standard Model flavours can be measured individually, and if the Dirac phase in the lepton mixing matrix is determined in neutrino oscillation experiments, then all model parameters can in principle be determined from this data. This makes the low scale seesaw a fully testable model of neutrino masses and baryogenesis.

The extension of the Standard Model by heavy right-handed neutrinos can simultaneously explain the observed neutrino masses via the seesaw mechanism and the baryon asymmetry of the Universe via leptogenesis. If the mass of the heavy neutrinos is below the electroweak scale, they may be found at the LHC, BELLE II, NA62, the proposed SHiP experiment or a future high-energy collider. In this mass range, the baryon asymmetry is generated via CP -violating oscillations of the heavy neutrinos during their production. We study the generation of the baryon asymmetry of the Universe in this scenario from first principles of non-equilibrium quantum field theory, including spectator processes and feedback effects. We eliminate several uncertainties from previous calculations and find that the baryon asymmetry of the Universe can be explained with larger heavy neutrino mixing angles, increasing the chance for an experimental discovery. For the limiting cases of fast and strongly overdamped oscillations of right-handed neutrinos, the generation of the baryon asymmetry can be calculated analytically up to corrections of order one.

The sensitivity of beam dump experiments to heavy neutral leptons depends on the relative strength of their couplings to individual lepton flavours in the Standard Model. We study the impact of present neutrino oscillation data on these couplings in the minimal type I seesaw model and find that it significantly constrains the allowed heavy neutrino flavour mixing patterns. We estimate the effect that the DUNE experiment will have on these predictions. We then discuss implication that this has for the sensitivity of the NA62 experiment when operated in the beam dump mode and provide sensitivity estimates for different benchmark scenarios. We find that the sensitivity can vary by almost two orders of magnitude for general choices of the model parameters, but depends only weakly on the flavour mixing pattern within the parameter range that is preferred by neutrino oscillation data.

We investigate the question whether leptogenesis, as a mechanism for explaining the baryon asymmetry of the universe, can be tested at future colliders. Focusing on the minimal scenario of two right-handed neutrinos, we identify the allowed parameter space for successful leptogenesis in the heavy neutrino mass range between 5 and 50 GeV. Our calculation includes the lepton flavour violating contribution from heavy neutrino oscillations as well as the lepton number violating contribution from Higgs decays to the baryon asymmetry of the universe. We confront this parameter space region with the discovery potential for heavy neutrinos at future lepton colliders, which can be very sensitive in this mass range via displaced vertex searches. Beyond the discovery of heavy neutrinos, we study the precision at which the flavour-dependent active-sterile mixing angles can be measured. The measurement of these mixing angles at future colliders can test whether a minimal type I seesaw mechanism is the origin of the light neutrino masses, and it can be a first step towards probing leptogenesis as the mechanism of baryogenesis. We discuss how a stronger test could be achieved with an additional measurement of the heavy neutrino mass difference.