Gary T. Leavens is a professor of computer science at Iowa State University.
See http://www.cs.iastate.edu/~leavens/

----
CategoryHomePage