Gianfranco Ciardo

Professor and Chair
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: +1-515-294-3264
Fax: +1-515-294-0258
Main Office: +1-515-294-4377
214 Atanasoff Hall (shared with Prof. Andrew Miner)

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 od 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 (now Telecom Italia Lab)

SMART: the Stochastic Model checking Analyzer for Reliability and Timing

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)

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

Fun stuff       Weather

Last updated: May 1, 2014