Jump to content

Gary T. Leavens

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Yobot (talk | contribs) at 15:32, 30 April 2016 (BLP related template + other fixes using AWB (12006)). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

This biography of a living person relies too much on references to primary sources. Please help by adding secondary or tertiary sources. Contentious material about living persons that is unsourced or poorly sourced must be removed immediately, especially if potentially libelous or harmful.
Find sources: "Gary T. Leavens" – news · newspapers · books · scholar · JSTOR (April 2009) (Learn how and when to remove this message)

Gary T. Leavens^[1] is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University.

He is also the Program Chair for 2009 OOPSLA.

References

^ Gary T. Leavens's Home Page: http://www.eecs.ucf.edu/~leavens/

P ≟ NP

This biographical article relating to a computer scientist is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Gary_T._Leavens&oldid=717930101"

Hidden categories: