This page gives access to information about courses taught by Gary T. Leavens for the University of Central Florida Computer Science and the Department of Computer Science at Iowa State University.

Lecture notes (sometimes only partial), homeworks, and tests for my courses are available via the WWW below. If you are an instructor at a college or university, I would be happy to e-mail you complete lecture notes, and the homework and test answers that I have (but isn't working them out half the fun?). If I don't already know you, please send me a request by mail on your school's letterhead.

All my lecture notes, homeworks, and tests are copyright (c) 1989-2000 by Gary T. Leavens. Permission is granted for you to make copies for educational and scholarly purposes, but not for direct commercial advantage, provided this notice appears on all copies. All other rights reserved.

I expect that you will give proper credit if you use or adapt my notes, homeworks, or tests in your own classes or in textbooks you may develop.

See also the Teaching About Programming Languages Project, where you can find course information by other academics.



Formal Methods

Programming Languages

Security Courses

Graduate Seminars

Contact Information

Gary T. Leavens
University of Central Florida
Dept. of Computer Science, 437D Harris Center (Building 116)
4000 Central Florida Blvd.,
Orlando, Florida 32816-2362 USA

e-mail: leavens@cs.ucf.edu
Phone: +1-407-823-4758 / fax: +1-407-823-5419

Last update $Date: 2016/01/07 02:18:00 $