442 Engineering II
Riverside, Ca 92521
Phone: 951-827-2281
Fax: 951-827-4643

Gianfranco Ciardo
Professor ,
Computer Science & Engineering

Degrees

Ph.D Computer Science 1989

Duke University

Laurea Computer Science 1982

Universita' di Torino, Italy

Research Area

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.

Publications

For additional information, please see Professor Ciardo's faculty webpage.

http://www.cs.ucr.edu/~ciardo

Former Institution

The College of William and Mary

Biography

Dr. Ciardo has worked for over twenty years in the areas of performance and reliability evaluation, mostly using numerical approaches to solve Markov and non-Markov stochastic models, but also using discrete-event simulation. He has been very active in the area of Petri nets, which are often his description formalism of choice. In the last few years, he has also become very interested in software verification and model checking, and in structured and Kronecker based approaches for Markov analysis.