Professor of Aerospace Engineering, University
of Cincinnat, Branch Chief, Air Force Research Laboratory, USA
Biography
Dr. Matthew Clark is a researcher from USA. He is currently associated with Professor of Aerospace Engineering, University of Cincinnat, Branch Chief, Air Force Research Laboratory, and his current research interest includes Model Checking, Verification, Formal Verification, Software Testing, SAT, SMT, Architecture, Safety.