Michael Barra is known for The Amazing Spider-Man.