Karen Gundy-Burlet, Ph.D.
Ph.D. Research Scientist
Reliable Software Engineering Group
Current research interests include the area of validation and verification of simulation models and Guidance, Navigation and Control software.
B.S., Mechanical Engineering, U.C. Berkley, 1983
M.S., Aerospace Engineering, Stanford, 1987
Ph.D, Aerospace Engineering, Stanford, 1991
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.
A list of all my publications can be found here.
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.
Associate Fellow, American Institute of Aeronautics and Astronautics