Monica Brockmeyer
Associate Provost and Associate Professor, Computer Science
< View all profiles
Monica Brockmeyer
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