This paper studies the quasi-maximum-likelihood estimator (QMLE) in a general conditionally heteroscedastic time series model of multiplicative form Xt = σt Zt , where the unobservable volatility σt is a parametric function of (Xt−1 ,...,X t−p ,σ t−1 ,...,σ t−q ) for some p, q ≥ 0, and (Zt ) is standardized i.i.d. noise. We assume that these models are solutions to stochastic recurrence equations which satisfy a contraction (random Lipschitz coefficient) property. These assumptions are satisfied for the popular GARCH, asymmetric GARCH and exponential GARCH processes. Exploiting the contraction property, we give conditions for the existence and uniqueness of a strictly stationary solution (Xt ) to the stochastic recurrence equation and establish consistency and asymptotic normality of the QMLE. We also discuss the problem of invertibility of such time series models. 1. Introduction. Gaussian quasi-maximum-likelihood estimation, that is, likelihood estimation under the hypothesis of Gaussian innovations, is a popular method which is widely used for inference in time series models. However, it is often a nontrivial task to establish the consistency and asymptotic normality of the quasi-maximum-likelihood estimator (QMLE) applied to specific models and, therefore, an in-depth analysis of the probabilistic structure generated by the model is called for. A classical example of this kind is the seminal paper by Hannan [18] on estimation in linear ARMA time series. In this paper we study the QMLE for a general class of conditionally heteroscedastic time series models, which includes GARCH, asymmetric GARCH and exponential GARCH. Recall that a GARCH(p, q) [generalized autoregressive conditionally heteroscedastic of order (p, q)] process [4 ]i s def ined by