David Dill

Photo: 
Title: 
Professor
Research Focus: 
computational systems biology, formal verification techniques