Steve Roach Associate Professor Department of Computer Science The University of Texas at El Paso El Paso, Texas, 79968-0518 email: sroach@utep.edu Phone: 915 - 747-6957 Fax: 915 - 747-5030 Professor Roach's home page
	Biographical Sketch
	Steve Roach graduated from the University of Wyoming in 1997. He has been a member of the Automated Software Engineering group at NASA Ames where he worked on the deductive synthesis system, Amphion. He has experience in automated theorem proving, synthesis and integration of decision procedures in theorem provers. 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 scientific opportunity visualization program for the Cassini mission to Saturn. He joined the faculty at the University of Texas at El Paso in 2001.