Koszul algebras In this talk we will introduce Koszul algebras, explaining their meaning and their importance within commutative algebra and algebraic geometry. We will go through several results about techniques designed to check Koszulness, introducing more specific conditions which can be partially checked using computer algebra tools. Finally, we will discuss some open problems and future goals.