World's Best Scientists 2026 revealed!

Overview

Johann Schumann is affiliated with the Langley Research Center in the United States and has contributed extensively to research in Physics and Astronomy. Their work spans a broad range of subfields, including Astronomy and Astrophysics, Instrumentation, Geophysics, Artificial Intelligence, and Molecular Biology.

The primary focus of their research lies in stellar, planetary, and galactic studies, along with Astronomy and Astrophysical Research. Other notable topics in their portfolio include Gamma-ray bursts and supernovae, Astrophysics and Star Formation Studies, Astro and Planetary Science, Geological and Geochemical Analysis, and High-pressure geophysics and materials.

Schumann's publication record includes numerous papers across multiple venues with a high concentration in astrophysical journals. Frequent publication venues are:

  • arXiv (Cornell University)
  • The Astronomical Journal
  • The Astrophysical Journal
  • Research Notes of the AAS
  • The Astrophysical Journal Supplement Series

Selected recent papers by Johann Schumann are:

  • "The Initial Mass Function Based on the Full-sky 20 pc Census of ∼3600 Stars and Brown Dwarfs," 2024, The Astrophysical Journal Supplement Series
  • "A Wide Planetary Mass Companion Discovered through the Citizen Science Project Backyard Worlds: Planet 9," 2021, The Astrophysical Journal
  • "89 New Ultracool Dwarf Comoving Companions Identified with the Backyard Worlds: Planet 9 Citizen Science Project," 2024, The Astronomical Journal
  • "New Cold Subdwarf Discoveries from Backyard Worlds and a Metallicity Classification System for T Subdwarfs," 2025, The Astrophysical Journal
  • "Discovery of 16 New Members of the Solar Neighborhood Using Proper Motions from CatWISE2020," 2022, The Astronomical Journal

Schumann frequently collaborates with a group of co-authors, which includes:

  • J. Davy Kirkpatrick
  • Jacqueline K. Faherty
  • Adam C. Schneider
  • Aaron Meisner
  • Dan Caselden

Best Publications

  • Generating statechart designs from scenarios

    Jon Whittle;Johann Schumann

  • SETHEO: a high-performance theorem prover

    R. Letz;J. Schumann;S. Bayerl;W. Bibel;W. Bibel;W. Bibel

  • Automated Theorem Proving in Software Engineering

    Johann M. Schumann

  • AutoBayes: a system for generating data analysis programs from statistical models

    Bernd Fischer;Johann Schumann

  • Temporal-Logic Based Runtime Observer Pairs for System Health Management of Real-Time Systems

    Thomas Reinbacher;Kristin Yvonne Rozier;Johann Schumann

  • Towards Real-Time, On-Board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems

    Johann Schumann;Kristin Y. Rozier;Thomas Reinbacher;Ole J. Mengshoel

  • SETHEO and E-SETHEO - The CADE-13 Systems

    Max Moser;Ortrun Ibens;Reinhold Letz;Joachim Steinbach

  • PARTHEO: A High-Performance Parallel Theorem Prover

    Johann Schumann;Reinhold Letz

  • R2U2: Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems

    Johann Schumann;Patrick Moosbrugger;Kristin Y. Rozier

  • NORA/HAMMR: making deduction-based software component retrieval practical

    J. Schumann;B. Fischer

  • R2U2: monitoring and diagnosis of security threats for unmanned aerial systems

    Patrick Moosbrugger;Kristin Y. Rozier;Johann Schumann

  • Automating the implementation of Kalman filter algorithms

    Jon Whittle;Johann Schumann

  • Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software

    Stephen Jacklin;Johann Schumann;Pramod Gupta;M. Lowry

  • Parallel Automated Theorem Proving

    Christian B. Suttner;Johann Schumann

  • SETHEO V3.2: Recent Developments - System Abstract

    Christoph Goller;Reinhold Letz;Klaus Mayr;Johann Schumann

  • Using Automated Theorem Provers to Certify Auto-Generated Aerospace Software

    Ewen Denney;Bernd Fischer;Johann Schumann

  • Model Based Analysis and Test Generation for Flight Software

    Corina S. Pasareanu;Johann Schumann;Peter Mehlitz;Mike Lowry

  • Development of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications

    Stephen A. Jacklin;Johann M. Schumann;Pramod P. Gupta;Michael Richard

  • Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems

    Johannes Geist;Kristin Y. Rozier;Johann Schumann

  • Applications of Neural Networks in High Assurance Systems

    Johann M.Ph. Schumann;Yan Liu

Frequent Co-Authors

Jon Whittle
Jon Whittle Commonwealth Scientific and Industrial Research Organisation
Gabor Karsai
Gabor Karsai Vanderbilt University
Tim Menzies
Tim Menzies North Carolina State University
Adnan Darwiche
Adnan Darwiche University of California, Los Angeles
Corina S. Pasareanu
Corina S. Pasareanu Carnegie Mellon University
Wray Buntine
Wray Buntine VinUniversity
Kai Goebel
Kai Goebel Palo Alto Research Center
Grigore Rosu
Grigore Rosu University of Illinois at Urbana-Champaign
Kenneth A. Loparo
Kenneth A. Loparo Case Western Reserve University
Alexander G. Gray
Alexander G. Gray Georgia Institute of Technology

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online options for computer science and related fields opens up multiple pathways for students with varying academic backgrounds. For those worried about GPA requirements, there are flexible online graduate programs that accept 2.0 gpa, making advanced education more accessible.

If you're eager to fast-track your studies, consider enrolling in one of the computer science accelerated program options. These programs allow you to complete your degree in less time, helping you enter the workforce quickly.

Broadening your career prospects beyond computer science is also possible. For example, earning a degree in environmental studies can open diverse professional opportunities; to learn more, check out what can you do with an environmental studies degree.

If you're interested in the intersection of technology and sustainability, there are excellent, budget-friendly environmental engineering schools online as well. These related pathways enable you to expand your skill set and pursue impactful careers in growing industries.

Best Scientists Citing Johann Schumann

Trending Scientists