Search

Gianfranco Ciardo

Faculty
Professor
Chair of Faculty Search Committee
Area of Expertise: 
Model Checking and Verification
Probabilistic Models
Petri Nets

Andrew S Miner

Andrew S Miner photo
Faculty
Associate Professor
Area of Expertise: 
Model Checking and Verification
Petri Nets