Dr. Gary Leavens
ACM & ACM-W Advisor
Chair of the Computer Science Department
University of Central Florida
My interests include, but are certainly not limited to:
- Formal methods (specification and verification) especially for object-oriented programs
Education
Ph.D. Computer Science, 1989
Massachusetts Institute of Technology
M.S. Computer Science, 1980
University of Southern California
B.S. Computer & Communication Sciences, 1978
University of Michigan