Gary T. Leavens [1] es profesor de informática en la Escuela de Ingeniería Eléctrica y Ciencias de la Computación de la Universidad de Florida Central en Estados Unidos. Su trabajo más conocido es sobre lenguajes de especificación de interfaces de comportamiento (BISL) como Larch / Smalltalk , Larch / C ++ y JML . Desde 1989 hasta 2007, fue profesor de Ciencias de la Computación en la Universidad Estatal de Iowa .
Este artículo biográfico relacionado con un científico de la computación es un esbozo . Puedes ayudar a Wikipedia expandiéndolo .