Gary T. Leavens

Gary T. Leavens is a Professor in the Department of Computer Science at the University of Central Florida, where he has been since August 2007.[1] He previously served as a professor at Iowa State University from 1989 to 2007, and earlier worked at Bell Telephone Laboratories in Denver, Colorado.[2] His research focuses on formal methods, programming language design and semantics, and software engineering.[1]