SPLASH 2014
Mon 20 - Fri 24 October 2014 Portland, Oregon, United States
Gary Leavens

Registered user since Tue 27 Jan 2015

Name: Gary Leavens

Bio: 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

Personal website: http://www.eecs.ucf.edu/~leavens/

SPLASH 2014 Activities

SPLASH 2014-profile
View general profile