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.