Professor and Associate Director of EECS

E-Mail: leavens@eecs.ucf.edu
EECS Homepage: http://www.eecs.ucf.edu/~leavens
Research Homepage: https://argis.research.ucf.edu/

Areas of Interest:
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.

Contact Info:
School of Electrical Engineering and Computer Science
University of Central Florida
Orlando, FL 32816-2362
 

Office: HEC-439C
Office Phone:  (407) 823-4758 
Dept. Fax: (407) 823-5419