Gianfranco Ciardo

Professor
Department of Computer Science and Engineering
Bourns College of Engineering
University of California at Riverside

 
Gianfranco Ciardo
Mailing address
Department of Computer Science and Engineering
University of California at Riverside
Riverside, CA 92521
Office
442 Engineering Building II
Phone: +1-951-827-2281
Fax: +1-951-827-4643
Main Office: +1-951-827-5639
Lab
464 Engineering Building II
email:
MY_LAST_NAME AT cs.ucr.edu    
url:
http://www.cs.ucr.edu/~ciardo/

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.
Logistics
This is my current weekly schedule
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
Classes taught at UCR
CS150     CS179K     CS237     CS239     CS246     CS260
Classes taught at William and Mary
CSci243     CSci321     CSci423/523     CSci435/535     CSci616     CSci726     CSci746
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
1978-1982: Laurea, Dipartimento di informatica, Universita' di Torino
1984-1989: Ph.D., Department of Computer Science, Duke University
Past employment
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 (now Software and System Consortium )
1982-1984: Research Staff Member at CSELT, Torino, Italy (now Telecom Italia Lab )

The Logic and Stochastic Verification Lab at UCR

SMART: the Stochastic Model checking Analyzer for Reliability and Timing

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

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

Keynote talk at PNPM 2001, Aachen, Germany

Keynote talk at ICATPN 2004, Bologna, Italy

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

Talk at UCR on decision diagrams June 2008

Fun stuff       Weather

Last updated: June 2, 2008