Gianfranco Ciardo

Professor and Chair
Gianfranco Ciardo photo

Gianfranco Ciardo is Professor and Chair in the Department of Computer Science at Iowa State University, Ames, Iowa.  Previously, he was a faculty member in the Department of Computer Science and Engineering at University of California, Riverside and in the Department of Computer Science at the College of William and Mary, Williamsburg, Virginia.  He has been a Visiting Professor at the University of Torino, Italy, and at the Technical University of Berlin, Germany, and has held research positions at HP Labs (Palo Alto, California), ICASE (NASA Langley Research Center, Hampton, Virginia), Software Productivity Consortium (Herndon, Virginia), and CSELT (Torino, Italy).  He is interested in algorithms and tools for logic and stochastic analysis of discrete-state models, symbolic model checking, performance and reliability evaluation of complex hardware/software systems, Petri nets, and Markov models.  


Area of Expertise: 
Model Checking and Verification
Probabilistic Models
Petri Nets
Ph.D., Computer Science, Duke University, 1989