Formal Methods used in Software Verification

Robert T. Bauer

Wednesday, February 4, 2004

Networking @ 5:45; Business @ 6:45; Program @ 7:00 PM

Countrywide, 2900 Madera, Simi Valley, CA 93065

Mr. Robert T. Bauer has over 15 years of industry experience. Robert has worked in research labs and in real-world business application development. At Quantum Dynamics' Advanced Experimental Research Laboratory, Robert developed the real-time kernel for NASA's Cryogenic Orbital Depot Satellite. At PDS, he developed inventory, order processing, shipping and customer service applications to support a full-service fulfillment center. At 1776, Robert developed fault-tolerant disk array software and at NCR, he developed a wide-variety of software to support large-scale testing of the Teradata database. His Parallel Test Environment (PTE) is now the standard testing environment at NCR and is used at the 5 Teradata development centers. Robert began working in formal methods at NCR and continued that work at Levetate where he worked on the semantics of a behavioral specification language and developed a theorem prover for automated formal verification. Robert is now with IBM where he spends most of his time working on design pattern software and much of his time on formal methods related work.

In addition to his development work, Robert is well-known in the software quality community for his contributions to software testing. Robert developed a testing strategy called Customer-Based Testing. This strategy combines software reliability engineering, automatic test case generation, and usage coverage to minimize the risk of expensive failures and to maximize assurance of base functionality. In the area of software process, Robert advanced the field by introducing Early Regression Testing. At NCR, early regression testing moved 70% of the problems discovered at system test to feature/unit testing. Robert's work in software complexity metrics has fundamentally changed how the research community looks at complexity measures.

Robert has undergraduate degrees in Electrical and Industrial Engineering and a graduate degree in Computer Science. Robert has published more than 17 technical papers.