Professor of Computer ScienceArea of Expertise: Model Checking and VerificationProbabilistic ModelsPetri Nets and Decision DiagramsOther Affiliations: Professor and Chair Contactciardo@iastate.eduhttp://web.cs.iastate.edu/~ciardo/(515)-294-3264 Tags: Model Checking and VerificationProbabilistic ModelsPetri NetsDecision Diagram
