Khalil Michael Dalal is a member of the Planning and Scheduling group, where he serves as technical lead for PLEXIL, a plan execution language used in autonomy applications. Previously, he was a principal developer of the Apex intelligent agent system and the MIDAS human/machine simulation environment. Prior to joining NASA, Mike held software engineering positions at Reasoning Systems, Xerox, and Examgen.
His interests include plan execution, functional programming, formal methods, software architecture, and programming languages. He has a BS in Computer Science from Syracuse University, and several years of formal music education.
K. M. Dalal, J. Frank, "Bridging the Gap between Human and Automated Procedure Execution," presented at IEEE Aerospace Conference, 2010.
D. Kortenkamp, K. M. Dalal, R. P. Bonasso, D. Schreckenghost, V. Verma, L. Wang, "A Procedure Representation Language for Human Spaceflight Operations," presented at iSAIRAS, 2008.
V. Baskaran, M. Dalal, T. Estlin, C. Fry, M. Iatauro, R. Harris, A. Jonsson, C. Pasareanu, R. Simmons, V. Verma, “Plan Execution Interchance Language (PLEXIL) Version 1.0”, NASA Technical Memorandum, Nov 2007.
M. Freed, P. Bonasso, K. M. Dalal, W. Fitzgerald, and R. Harris, "An Architecture for Intelligent Management of Aerial Observation Missions," presented at Proceedings of American Institute of Aeronautics and Astronautics, Arlington, Virginia, 2005.
J. D. Smith, B. F. Gore, K. M. Dalal, R. Boyle, "Optimizing Biology Research Tasks in Space using Human Performance Modeling and Virtual Reality Simulation Systems here on Earth," in 32nd International Conference on Environmental Systems (ICES), 2002.
S. G. Hart, D. Dahn, A. Atencio, K. M. Dalal, "Evaluation and Application of MIDAS v2.0," Proceedings of the 2001 Aerospace Congress, SAE International, 2001.
Stinger Ghaffarian Technologies, Inc.
Intelligent Systems Division
Ames Research Center
Mail Stop 269-1
Moffett Field, CA 94035