QA&TEST 2009: Advanced verification techniques into software development process at NASA

Guillaume Brat, speaker at QA&TEST 2009, is employed by Carnegie-Mellon University and he conducts research in software verification within the Robust Software Engineering group in the Intelligent Systems Division at NASA Ames.
Dr. Brat received his M.Sc. and Ph.D. in Electrical & Computer Engineering in 1998 (The University of Texas at Austin, USA). His thesis defined a (max,+) algebra to model and evaluate non-stationary, periodic timed discrete event systems. Since then, he has specialized on the application of static analysis to software verification. From 1997 to June 1999, he worked at MCC where he led a project that developed static analysis tools for software verification. In June 1999, he joined the Automated Software Engineering (now Robust Software Engineering) group at the NASA Ames Research Center and focused on the application of static analysis to the verification of large software systems.
For example, he co-developed and applied static analysis tools based on abstract interpretation to the verification of software for the Mars PathFinder, Deep Space One, and Mars Exploration Rover missions at JPL, various International Space Station controllers at MSFC, and the international Space Station Biological Research Project at the NASA Ames Research Center. His current interests also include the use of model checking and compositional verification, and, the verification of planning and execution systems as well as integrated system health management software.
Don’t wait anymore and register today!