Gary T. Leavens
Jump to navigation
Jump to search
Gary Leavens | |
---|---|
Academic background | |
Education | University of Michigan (BS) University of Southern California (MS) Massachusetts Institute of Technology (PhD) |
Academic work | |
Discipline | Computer science |
Sub-discipline | Specification language Information assurance Object-oriented programming Type theory Computer science education |
Institutions | Iowa 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
- ^ "Index of Gary T. Leavens's WWW Pages". www.cs.ucf.edu. Retrieved 2023-01-04.
- ^ "Gary Leavens". UCF College of Engineering and Computer Science. Retrieved 2023-01-04.
Categories:
- Articles with short description
- Short description matches Wikidata
- Articles with hCards
- American computer scientists
- University of Central Florida faculty
- Living people
- Year of birth missing (living people)
- Articles with ISNI identifiers
- Articles with VIAF identifiers
- Articles with WorldCat Entities identifiers
- Articles with BIBSYS identifiers
- Articles with BNF identifiers
- Articles with BNFdata identifiers
- Articles with GND identifiers
- Articles with J9U identifiers
- Articles with LCCN identifiers
- Articles with NTA identifiers
- Articles with ACM-DL identifiers
- Articles with DBLP identifiers
- Articles with Google Scholar identifiers
- Articles with SUDOC identifiers
- All stub articles
- Computer scientist stubs
- University of Michigan alumni
- University of Southern California alumni
- Massachusetts Institute of Technology alumni
- Iowa State University faculty