People
Dr Paolo Zuliani
- Lecturer School of Computing Science
- Email: paolo.zuliani@ncl.ac.uk
- Telephone: +44 191 208 8064
- Paolo is interested in formal verification of biological models and cyber-physical systems, using in particular model checking and SAT/SMT solvers.
