Gary_T._Leavens

Gary T. Leavens

Gary T. Leavens

American computer scientist

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

Quick Facts Academic background, Education ...

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

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.

References

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

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

This article uses material from the Wikipedia article Gary_T._Leavens, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.