Mathematical aspects of computer science
Faculty
- Marco Di Summa (Algorithms and complexity)
- Michele Scquizzato (Algorithms and complexity)
Research Assistants
- Marco Zanella (Abstract Interpretaton; Formal Verification; Affine Transformations)
Faculty
Research Assistants
