Theoretical Computer Science (Algorithms, Combinatorics, Formal Methods, Graph Theory, Logics, ...) and its applications
We are all interested in some branches of theoretical computer science and collaborate to study problems that are mathematical and abstract in spirit, but derive their motivation from practical and everyday situations.
As a non-exhaustive list, we are interested in problems from artificial intelligence, biology, medicine, and networking.
Responsabile del Gruppo
Tiziana Calamoneri
