Dr. rer. nat. habil. Johann Schumann is a member of the Robust Software Engineering Group RSE at NASA Ames. He obtained his habilitation degree (2000) from the Technische Universität München, Germany on application of automated theorem provers in Software Engineering. His PhD thesis (1991) was on high-performance parallel theorem provers. Dr. Schumann is engaged in research on software and system health management, verification and validation of advanced air traffic control algorithms and adaptive systems, statistical data analysis of air traffic control systems and UAS incident data, and the generation of reliable code for data analysis and state estimation. Dr. Schumann's general research interests focus on the application of formal and statistical methods to improve design and reliability of advanced safety- and security-critical software.
He is employed by SGT, Inc as Chief Scientist Computational Sciences.
J. Schumann and Yan Liu, editors Applications of Neural Networks in High Assurance Systems. Studies in Computational Intelligence, Springer Verlag, 2010.
J. Schumann Automated Theorem Proving in Software Engineering. ISBN 3-540-67989-8. Springer Verlag, 2001.
Intelligent Systems Division
Ames Research Center
Mail Stop 269-3
Moffett Field, CA 94035