Alberto Casagrande
Presentazione:
I am assistant professor (ricercatore universitario) in computer science. My interests include dynamical systems, formal verification, systems biology, and algorithms. Most of my works are theoretical, but I love to establish new collaborations in the applicative domain to face real-world problems.