معرفی
Gianfranco Ciardo is a Professor in the Department of Computer Science at Iowa State University. He previously held faculty positions at the University of California, Riverside, and the College of William and Mary. His research focuses on algorithms and tools for logic and stochastic analysis of discrete-state models, decision diagrams, performance evaluation, and reliability analysis of complex systems. He has also held visiting roles at the University of Torino and Technical University of Berlin, and industry research positions at HP Labs, NASA ICASE, and others.
Education:
- Ph.D., Computer Science, Duke University, 1989
- Laurea in Informatica, University of Torino, Italy, 1982
Research Interests: Ciardo's work spans symbolic model checking, Petri nets, Markov models, and decision diagrams. His contributions include advancements in state-space exploration, formal verification, and applications to hardware/software systems. He emphasizes scalable solutions for complex system analysis through efficient data structures like Binary Decision Diagrams (BDDs).
Awards & Grants: While specific awards are not listed, his extensive publications and industry collaborations reflect sustained academic and industrial recognition. His work has been supported through grants and collaborations with institutions like NASA and HP Labs.
Labs/Teams: Leads research on decision diagram technologies and Petri net analysis within Iowa State's Department of Computer Science, contributing to tools like SMART for stochastic model checking.
