Biographical Sketch

Steve Roach graduated from the University of Wyoming in 1997. He joined the Automated Software Engineering group at NASA Ames where he worked on the deductive synthesis system, Amphion. He has experience in formal approaches to software assurance including automated theorem proving, synthesis and integration of decision procedures in theorem provers, deductive synthesis, and model checking. He has worked for a variety of chemical engineering firms developing data acquisition and process control systems and process modeling software. He is a principal author of a suite of software tools currently used by the Rings Working Group of the Cassini mission to Saturn. He was a faculty at Adams State University prior to joining the faculty at the University of Texas at El Paso in 2001.

Computer Science - The University of Texas at El Paso
500 W University Ave - El Paso TX 79968-0518