Dr. Gary Leavens

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


  • 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