Gary T. Leavens

Registered user since Tue 27 Jan 2015

Name:Gary T. Leavens

I am a Professor, and Chair of the University of Central Florida’s Dept. of Electrical Engineering and Computer Science, Computer Science division.

Research Interests: Programming and specification language design and semantics, formal methods (program specification and verification), aspect-oriented languages, object-oriented languages, distributed languages, type theory, programming methodology, software engineering, information assurance, computer science education.

Affiliation: University of Central Florida


SPLASH 2015 SPLASH 2012 General Chair in Steering Committee
Committee Member in Organizing Committee within the Demos-track
Session Chair of 11. Programming Language Design (part of OOPSLA)
DS Invited Keynote Talk II: Lessons and Stories from My Career
Committee Member in Organizing Committee within the Doctoral Symposium-track
Committee Member in External Review Committee within the OOPSLA-track
Show activities from other conferences

SPLASH 2015-profile
View general profile