Categories
  • American computer scientists
    •   Encyclosphere.org ENCYCLOREADER
      supported by EncyclosphereKSF

    Gary T. Leavens

    Topic: Biography

     From Handwiki - Reading time: 1 min
    Short description: American computer scientist
    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

    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. ↑ "Index of Gary T. Leavens's WWW Pages". https://www.cs.ucf.edu/~leavens/. 
    2. ↑ "Gary Leavens" (in en-us). https://www.cecs.ucf.edu/faculty/gary-leavens/. 



    Retrieved from "https://handwiki.org/wiki/index.php?title=Biography:Gary_T._Leavens&oldid=2663728"
    This article is licensed under CC BY-SA 3.0.
    Original source: https://handwiki.org/wiki/Gary T. Leavens
    Status: article is cached
    Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF