About CoReLab The laboratory supports research and teaching in the areas of Algorithms and Complexity, Logic, Cryptography and Blockchains, Algorithmic Game Theory, Computational Learning Theory.