Gary T. Leavens[1] is an American academic working as a professor of computer science at the University of Central Florida.
[2] From 1977 to 1984, Leavens worked on the technical staff at Bell Labs.
From 1989 until 2007, he was a professor of computer science at Iowa State University.
His scholarship focuses on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML.
This biographical article relating to a computer scientist is a stub.