Monica Brockmeyer

Monica Brockmeyer is an Associate Professor of Computer Science at Wayne State University's James and Patricia Anderson College of Engineering. She holds a Ph.D. from the University of Michigan (1999) and specializes in high-assurance systems, formal methods, and safety-critical systems. She teaches courses in Human-Computer Interaction and maintains an active research program in computing systems verification.