Jump to content

Gary T. Leavens

From Wikipedia, the free encyclopedia
Gary Leavens
Academic background
EducationUniversity of Michigan (BS)
University of Southern California (MS)
Massachusetts Institute of Technology (PhD)
Academic work
DisciplineComputer science
Sub-disciplineSpecification language
Information assurance
Object-oriented programming
Type theory
Computer science education
InstitutionsIowa State University
University of Central Florida

Gary T. Leavens[1] is an American academic working as a professor of computer science at the University of Central Florida.

Education

[edit]

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.[2]

Career

[edit]

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.

References

[edit]
  1. ^ "Index of Gary T. Leavens's WWW Pages". www.cs.ucf.edu. Retrieved 2023-01-04.
  2. ^ "Gary Leavens". UCF College of Engineering and Computer Science. Retrieved 2023-01-04.