Gary T. Leavens

Male, Person

92

Who is Gary T. Leavens?

Gary T. Leavens is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University.

He is also the Program Chair for 2009 OOPSLA.

We need you!

Help us build the largest biographies collection on the web!

Also known as
  • Gary Leavens
Education
  • Massachusetts Institute of Technology

Submitted
on July 23, 2013

Citation

Use the citation below to add to a bibliography:

Style:MLAChicagoAPA

"Gary T. Leavens." Biographies.net. STANDS4 LLC, 2024. Web. 8 May 2024. <https://www.biographies.net/people/en/gary_t_leavens>.

Discuss this Gary T. Leavens biography with the community:

0 Comments

    Browse Biographies.net