Department of Computer Science
Department of Computer Science
Department of Computer Science

FULL PROFILES
 

Gary T. Leavens

Gary T. Leavens

Professor, CS
Department Chair
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,

leavens@cs.ucf.edu
(407) 823-4758
Department Fax: (407) 823-1488
HEC-437D
Faculty Homepage



DEGREE
Ph.D., Massachusetts Institute of Technology, 1988

briefcase
briefcase