Karen Gundy-Burlet, Ph.D.

Academic Background

• B.S., Mechanical Engineering, U.C. Berkley, 1983
• M.S., Aerospace Engineering, Stanford, 1987
• Ph.D, Aerospace Engineering, Stanford, 1991

Publications

Recent Publications

• Gundy-Burlet, K., Schumann, J, Barrett, T, Menzies, T., “Parametric Analysis of Antares Re-Entry Guidance Algorithms using Advanced Test Generation and Data Analysis”, Proc. 9^th International Symposium on Artificial Intelligence. 2008.
• Pasareanu, C., Mehlitz, P, Bushnell, D, Gundy-Burlet, K, Lowry, M., Suzette, P., Pape, M., “Combining unit-level symbolic execution and system-level concrete execution for testing NASA software”, Proc. of the International Symposium on Software Testing and Analysis, pgs. 15-26, 2008.

All Publications

A list of all my publications can be found here.

Brief Biography

Karen Gundy-Burlet is a research scientist in the Robust Software Engineering group at NASA-Ames Research Center. Her current interests are in the application of advanced information analysis techniques to validation and verification of simulation models and Guidance, Navigation and Control (GNC) software. She was the group lead for the NASA-Ames Intelligent Flight Control program that developed and implemented neural-adaptive algorithms for control of damaged aircraft, and demonstrated and evaluated them in full-motion piloted simulations. Other research efforts include optimal control of low-thrust spacecraft trajectories, and computational modeling of unsteady flows in turbomachinery with an emphasis on rotor/stator interaction in compressors and hot streak migration in turbines. She has interests in parallel systems and high-performance computing. Dr. Gundy-Burlet graduated with a B.S. in Mechanical Engineering from U.C. Berkeley and obtained M.S. and Ph.D. degrees in Aerospace Engineering from Stanford.

Professional Memberships

• Associate Fellow, American Institute of Aeronautics and Astronautics