Non-perturbative Heavy Quark Effective Theory

We explain how to perform non-perturbative computations in HQET on the lattice. In particular the problem of the subtraction of power-law divergences is solved by a non-perturbative matching of HQET and QCD. As examples, we present a full calculation of the mass of the b-quark in the combined static and quenched approximation and outline an alternative way to obtain the B-meson decay constant at lowest order. Since no excessively large lattices are required, our strategy can also be applied including dynamical fermions.