A brief introduction to Loop Quantum Cosmology