In this paper, we consider Leibniz algebras with derivations. A pair consisting of a Leibniz algebra and a distinguished derivation is called a LeibDer pair. We define a cohomology theory for LeibDer pair with coefficients in a representation. We study central extensions and abelian extensions of a LeibDer pair. In the next, we generalize the formal deformation theory to LeibDer pairs in which we deform both the Leibniz bracket and the distinguished derivation.It is governed by the cohomology of LeibDer pair with coefficients in itself. Finally, we consider homotopy derivations on sh Leibniz algebras and 2-derivations on Leibniz 2-algebras. The category of 2-term sh Leibniz algebras with homotopy derivations is equivalent to the category of Leibniz 2-algebras with 2-derivations. Contents 1. Introduction 1 2. Leibniz algebras and their cohomology 3 3. LeibDer pairs 4 3.1. Universal enveloping AssDer pair 6 3.2. Cohomology 7 4. Extensions of LeibDer pairs 8 4.1. Central extensions 8 4.2. Extensions of a pair of derivations 9 4.3. Abelian extensions 11 5. Deformations of LeibDer pairs 12 5.1. Rigidity 13 5.2. Finite order deformations and their extensions 13 6. Homotopy derivations on sh Leibniz algebras 15 7. Categorification of LeibDer pairs 18 8. Conclusions 20 References 20