‹Programming› 2017 (series) / Gary T. Leavens
![Gary T. Leavens](https://2017.programming-conference.org/getProfileImage/garytleavens/2cb4551e-cd4c-453d-a3b2-beaaff849a0e/small.jpg?1711514387000)
Registered user since Tue 27 Jan 2015
Name:Gary T. 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/
Contributions
2017
‹Programming› 2017-profile
View general profile
View general profile