Effective quantum many-body theories: Studies of electronic structure & electron–phonon coupled properties near interfaces in superconductors