CoReLab

Computation and Reasoning Laboratory

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.