Overview
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.
Programming
- Undergraduate at UCF: Introduction to Programming with C (COP 3223H)
- Undergraduate at ISU: Introduction to Programming (Com S 227) (no longer current at Iowa State)
- Undergraduate at ISU: Introduction to Data Structures (Com S 228)
- Undergraduate at ISU: Unix and C Programming (Com S 218) (no longer current at Iowa State)
Systems at UCF:
Design
- Undergraduate at ISU: Object-Oriented Analysis and Design (Com S 362)
Information Technology
- Undergraduate at UCF: Frontiers of IT (COP 4910 and COT 4810)
Formal Methods
- Graduate at U. of Iowa: Formal Methods in Software Engineering (22C:181 at the Univ. of Iowa)
Programming Languages
- Undergraduate at UCF: Systems Software (COP 3402)
- Undergraduate at UCF: Programming Languages I (COP 4020)
- Undergraduate at ISU: Principles of Programming Languages (Com S 342)
- Undergraduate at U. of Iowa: Programming Language Concepts (22C:54 at the University of Iowa)
- Graduate at UCF: Program Analysis (COP 5021)
- Graduate at ISU: Programming Languages 1 (Com S 541)
- Graduate at ISU: Programming Language Semantics (Com S 641)
- Graduate at ISU: CPS Seminar (Com S 610 GL, Spring 1997)
Security Courses
- Undergraduate at UCF: Secure Software Development and Assurance (CIS 4615, Fall 2015)
- Graduate at UCF: Advanced Software Systems Security (CIS 6614, Fall 2022)
Graduate Seminars
- Graduate at UCF: Formal Methods Reading Seminar (various semesters)
- Graduate at UCF: Specification and Verification Tools Seminar (Fall 2008)
- Graduate at UCF: Realtime specification and Verification Seminar (Spring 2007)
- Graduate at UCF: JML Seminar (Fall 2007)
- Graduate at ISU: Topics in Specification and Verification for Java-like Languages (Com S 610 GL, Spring 2007)
- Graduate at ISU: JML Seminar (Com S 610 GL, Fall 2005)
- Graduate at ISU: Formal Methods Seminar (Com S 610 RL, Fall 2001)
- Graduate at ISU: Pi-Calculus Seminar (Com S 610 ML, Fall 2001)
- Graduate at ISU: Fun with Java Seminar (Com S 610 GL, Summer 1997)
- Graduate at ISU: Computing Writer's Workshop
Contact Information
Gary T. LeavensUniversity of Central Florida
Dept. of Computer Science, 329 L3Harris Center (Building 116)
4000 Central Florida Blvd.,
Orlando, Florida 32816-2362 USA
e-mail: Leavens@ucf.edu
Phone: +1-407-823-4758 / fax: +1-407-823-5419
Last update $Date: 2023/10/02 16:43:54 $