Ph.D. Computer Science, Massachusetts Institute of Technology, 1989

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, information assurance, computer science education.

Office:  HEC-210
Office Phone:  407-823-4758
Dept. Fax:  (407) 823-5419
E-Mail:  leavens@eecs.ucf.edu
Research Homepage:  http://www.eecs.ucf.edu/~leavens