The laboratory of Matthew L. Bolton, Ph.D.

The formal human systems laboratory conducts research that focuses on the use of formal methods, human performance modeling, and judgement analysis in the evaluation of complex, safety-critical systems that depend on human-automation interaction. Tools and techniques developed in the laboratory are used in the evaluation of aerospace, medical, and automotive systems.

News and Announcements

Contact Information


Matthew L. Bolton
The Department of Industrial and Systems Engineering
University at Buffalo
Bell Hall
Amherst, NY 14260
Email:mbolton at
Office:407 Bell Hall
Phone:  (716) 645-2359
Fax:(716) 645-3302