Description: The home page of Dr. Matthew Bolton's Formal Human Systems Laboratory
performance (7085) modeling (1478) human (916) verification (368) human factors (129) formal methods (49) theorem proving (7) model checking (4) matthew l. bolton (1)
Associate Professor of Systems Engineering Director of the Formal Human Systems Laboratory University of Virginia
Dr. Bolton and the formal human systems laboratory study why engineered systems fail and how to prevent failures through human-centered systems engineering. Dr. Bolton is an expert on the use of formal, mathematical methods in human factors engineering, particularly for discovering engineering oversights that lead to human behavior, error, and cognition contributing to failures. Methods developed in the lab are applied to safety-critical applications in aerospace, medicine, defense, and cybersecurity.
Website created by Matthew L. Bolton, Ph.D. using the template located here .