The Formal Human Systems Laboratory

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.

News and Announcements

Contact Information


Matthew L. Bolton
The Department of Systems and Information Engineering
University of Virginia
151 Engineer's Way
Charlottesville, VA 22903
Email:matthewbolton at
Office:101E Olsson Hall
Phone:  (434) 243-7699