Paul D. Moga

Paul D. Moga is an American computer scientist and researcher known for his work in formal verification, software engineering, and safety-critical systems. His career has been primarily associated with pioneering projects at SRI International and collaborations with NASA on aeronautics and spacecraft software assurance. Moga's research has contributed to the development of tools and methodologies for ensuring the reliability of complex computational systems in high-stakes environments.

Early life and education

Paul D. Moga completed his undergraduate studies in computer science at the University of Michigan. He subsequently pursued graduate education, earning a master's degree from the University of California, Berkeley, an institution renowned for its contributions to theoretical computer science and electrical engineering. His academic training provided a strong foundation in algorithms, logic, and systems design, which would later inform his applied research.

Career

Moga began his professional career as a researcher at SRI International in Menlo Park, California, a center for innovation in artificial intelligence and computer security. At SRI, he worked within the Computer Science Laboratory on projects funded by the Defense Advanced Research Projects Agency (DARPA) and the United States Department of Defense. His work often involved collaborations with other leading institutions like the Massachusetts Institute of Technology and Stanford University. He later contributed to major initiatives at NASA, focusing on software verification for projects related to the Space Shuttle program and next-generation avionics systems.

Research and contributions

Moga's primary research contributions lie in the application of formal methods to real-time computing and embedded systems. He was involved in the development and use of tools like the Prototype Verification System (PVS) for specifying and verifying hardware and software designs. His work has addressed challenges in program correctness, fault tolerance, and model checking for systems used in aeronautical engineering and space exploration. Specific projects included contributing to the Fly-By-Wire technology verification for aircraft and analyzing software for the International Space Station.

Awards and honors

In recognition of his contributions to space systems software assurance, Paul D. Moga was awarded the NASA Exceptional Service Medal. This honor is part of the NASA Honor Awards program and acknowledges significant achievements in support of the agency's missions. His work has also been recognized through various team awards from SRI International and citations in peer-reviewed publications from organizations like the Association for Computing Machinery and the Institute of Electrical and Electronics Engineers.

Personal life

Details regarding Paul D. Moga's personal life are not widely published in public sources. He is known to have resided in the San Francisco Bay Area during his tenure at SRI International. His professional legacy remains closely tied to the advancement of software verification practices within the American aerospace industry.

Category:American computer scientists Category:NASA people Category:SRI International people