Human factors for
command and control.
I am interested in human decision-making within complex, information-dense, time-critical command and control environments, and how we can design Joint Cognitive Systems to improve human performance in those domains.
Command and Control · Cognitive Systems Engineering · Human Factors · Formal Methods
Command & Control (C2)
Decision-making in complex, information-dense, time-critical C2 environments. How system design supports or undermines human objectives when operators face uncertainty and competing demands.
Joint Cognitive Systems (JCS)
Understanding the human-system ensemble as a single unit of analysis. How JCS design (a la Woods and Hollnagel, et al) shapes (and good design improves) human performance under pressure.
Mental Models and Human Error
How operators construct mental models of complex system states, where those models diverge from reality, and how such mismatches contribute to error in safety-critical and high-tempo domains.
Formal Methods
Using observation, semi-structured interviews, and grounded theory knowledge elicitation methods to inform rigorous mathematical techniques like bisimulation and abstraction synthesis to formally describe, analyze, and improve human-system interaction.
-
2024Formal mental models for human-centered cybersecurityInternational Journal of Human–Computer Interaction, 41(2), pp. 1414–1430
-
2019A formal method for assessing the impact of task-based erroneous human behavior on system safetyReliability Engineering & System Safety, 188, pp. 168–180
-
2019An analysis of air traffic management concepts of operation using simulation and formal verificationAIAA SciTech 2019 Forum, AIAA 2019-0984
-
2018Mental models for cybersecurity: A formal methods approach
-
2017Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenariosInnovations in Systems and Software Engineering, 14(1), pp. 1–14