People

Dr Paolo Zuliani

Paolo is interested in formal verification of biological models and cyber-physical systems, using in particular model checking and SAT/SMT solvers.  His homepage is here.