Gary T. Leavens é professor, chefe interino do departamento de Engenharia Elétrica e Ciência da Computação, e chefe interino da Divisão de Ciência da Computação na Universidade de Central Florida (UCF). Ele ingressou na UCF em agosto de 2007, foi chefe adjunto de agosto de 2008 a agosto de 2010, e foi nomeado chefe interino em setembro de 2010. Anteriormente, ele foi professor de ciência da computação na Universidade Estadual de Ames, Iowa, onde começou em janeiro de 1989. Ele recebeu seu título de doutor pelo MIT em 1989. Antes de sua pós-graduação no MIT, ele trabalhou nos Laboratórios de Telefone Bell, em Denver, Colorado, como um membro da equipe técnica.

Os interesses de pesquisa do professor Leavens incluem projeto e semântica de linguagens de programação e de especificação, verificação de programas, e métodos formais, com ênfase nos paradigmas orientado a objetos e orientado a aspectos. Sua obra mais conhecida na área de métodos formais está relacionada ao projeto JML, um esforço internacional com muitas ferramentas associadas (veja http://jmlspecs.org). Ele também trabalhou no projeto das linguagens de especificação Larch/Smalltalk (com Yoonsik Cheon) e Larch/C++ (com Yoonsik Cheon e Clyde Ruby). Essas linguagens incorporam idéias de seu trabalho sobre a teoria da subtipagem comportamental (com David Naumann, Don Pigozzi, e Krishna Kishore Dhara). Sua obra mais conhecida em projeto e semântica de linguagems é sobre programação orientada a aspectos (junto com Curtis Clifton, James Noble, Hridesh Rajan, e Medhi Bagherzadeh) e linguagens de múltiplos despachos (junto com Curtis Clifton, Craig Chambers, e Todd Millstein) tal como MultiJava. Veja http://www.eecs.ucf.edu/~leavens para mais informações sobre sua pesquisa. Seus passatempos favoritos incluem música e astronomia. Ele é casado com Janet Leavens, que terminou recentemente seu doutorado em Literatura Francesa na Universidade de Iowa.

Para mais detalhes, visite sua home page.