Matthew Bolton

PhD

Matthew Bolton

PhD

Matthew Bolton

PhD

Research Topics

Human behavior and human performance modeling, erroneous human behavior, formal methods, system safety

Contact Information

407 Bell Hall

Buffalo NY, 14260

Phone: (716) 645-2359

mbolton@buffalo.edu

Loading...

Loading...

Loading...

The Formal Human Systems Laboratory

The Formal Human Systems Laboratory (FHSL) 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.