About Gary T. Leavens
Born 1950. Gary T. Leavens is an American computer scientist and engineer.
Gary T. Leavens is an American academic working as a professor of computer science at the University of Central Florida.
Education Leavens earned a Bachelor of Science in computer and communication science from the University of Michigan, a Master of Science in computer science from the University of Southern California, and a PhD in philosophy from the Massachusetts Institute of Technology.
Career 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. Leavens was the program chair for 2009 OOPSLA.
Don’t just read it —
keep it.
Full-length biographies made to live with: read them, listen on the way to work, watch them tonight.
- E-book
- Audio
- Video
Instant download · yours to keep · every purchase keeps this site free
Important facts
Related people
Same field, nearest in time
Contemporaries
People whose lives overlapped Gary T. Leavens's
Frequently asked questions
Who is Gary T. Leavens?
American computer scientist
When was Gary T. Leavens born?
Gary T. Leavens was born in 1950.
What is Gary T. Leavens's occupation?
Gary T. Leavens is a computer scientist and engineer.
What nationality is Gary T. Leavens?
Gary T. Leavens is American.
Sources & further reading
Cite this page
APA: Biography.guide. (2026). Gary T. Leavens. https://biography.guide/gary-t-leavens/
MLA: "Gary T. Leavens." Biography.guide, https://biography.guide/gary-t-leavens/.
Chicago: "Gary T. Leavens." Biography.guide. https://biography.guide/gary-t-leavens/.
Data last updated: 2026-09-20 · Spot an error? Report a correction.
Page generated 2026-09-27 05:30 UTC