Gianfranco Ciardo

Department of Computer Science
College of Liberal Arts and Sciences
Iowa State University

Gianfranco Ciardo
Mailing address
Department of Computer Science
Iowa State University
226 Atanasoff Hall
2434 Osborn Drive
Ames, IA 50011-1090
phone numbers:
Office phone: +1-515-294-3264
Main office fax: +1-515-294-0258
Main office phone: +1-515-294-4377
105 Atanasoff Hall
214 Atanasoff Hall

Research Interests (see also my resume and my publications)
Logic, performance, and reliability modeling and tools
Model checking and verification of finite-state systems
Distributed solution of large stochastic processes
Structured and Kronecker based approaches for Markov analysis
Petri nets and stochastic Petri nets.
These are my guidelines for students working with me
Here are good rules to follow when writing papers or preparing presentations
Example files to get started using LaTeX
Memberships and Offices
Senior Member of IEEE and IEEE Computer Society
Member of ACM and SIGMETRICS
Jan. 2001 - Jan 2005: Associate editor, IEEE Transactions on Software Engineering
My academic roots
1984-1989: Ph.D., Department of Computer Science, Duke University
1978-1982: Laurea, Dipartimento di informatica, Universita' di Torino
Past employment
2003-2013: Professor of Computer Science at the University of California, Riverside
1992-2003: Assistant/Associate/Full Professor at The College of William and Mary
1988-1992: Member of Technical Staff at Software Productivity Consortium, Herndon, VA
1982-1984: Research Staff Member at CSELT, Torino, Italy


Material for the courses I teach is available to enrolled students through Canvas

Software Tool Development (both in collaboration with Prof. Andrew Miner)

SMART: Stochastic Model checking Analyzer for Reliability and Timing

MEDDLY: Multi-terminal and Edge-valued Decision Diagram LibrarY

Conference Organization

Program Co-Chair of The 7th International Conference on Quantitative Evaluation of SysTems (QEST) 2010 (College of William and Mary, September 15-18, 2010)

Program Co-Chair of The 12th IEEE International Symposium on Pacific Rim Dependable Computing (PRDC) (University of California at Riverside, December 18-20, 2006)

General Chair of The 3rd International Conference on the Quantitative Evaluation of SysTems (QEST 2006) (University of California at Riverside, September 11-14, 2006)

Tutorials and Invited Talks

Tutorial on structured Markov chain storage at QEST 2004, Enschede, The Netherlands

Keynote talk at ICATPN 2004, Bologna, Italy

Keynote talk at PNPM 2001, Aachen, Germany

Last updated: April 26, 2021