Monica Brockmeyer
Associate Professor, Computer Science
Education
Ph.D 1999, University of Michigan
Research Interests
High Assurance Systems, Distributed Systems, Real-Time Systems, Safety-Critical Systems, Formal Methods and Verification, Testing
Associate Professor, Computer Science
Ph.D 1999, University of Michigan
High Assurance Systems, Distributed Systems, Real-Time Systems, Safety-Critical Systems, Formal Methods and Verification, Testing