  Basis Light-front Quantization has been developed as a first-principles
nonperturbative approach to quantum field theory. In this article we report our
recent progress on the applications to the single electron and the positronium
system in QED. We focus on the renormalization procedure in this method.
