Pierre Flener's Teaching
The courses that I have taught, currently teach, and love to teach are:
- Introduction to Programming (using SML):
- First year: Program Design and Data Structures (PKD) (next co-given by me over autumn'11 and spring'12)
- First year: Programming Methodology, part 1 (PM1) (last given by me in autumn'01, now merged into the PKD course above)
- First year: Program Design I (PK1) (last given by me over autumn'01 and spring'02, now merged into the PKD course above)
- Algorithms and Data Structures:
- Second year: Algorithms and Data Structures, part 2 (AD2) (next given by me in spring'12, period 3)
- First year: Algorithms and Data Structures, part 1 (AD1) (last given by me in spring'10, now merged into the PKD course above)
- First year: Program Design II (PK2) (last given by me in spring'06, now merged with the AD1 course above)
- Second year at Sabanci University: Data Structures (CS202) (given by me in spring'07)
- Declarative Programming:
- Advanced level: Constraint Programming (CP) (next given by me in autumn'11, periods 1 and 2)
- Advanced level: Functional Programming (FP) (last given by me in autumn'04)
- Advanced level at Bilkent University: Logic Programming (LP) (last given by me in spring'97)
- Artificial Intelligence
- Advanced level at Bilkent University: Artificial Intelligence (AI) (last given by me in autumn'94)
- Theory
- Advanced level at Sabanci University: Formal Languages and Automata Theory (CS302) (given by me in autumn'06)
- Program Verification:
- Basic level: Constructing Correct Programs (CCP) (last given by me in spring'00)
- Advanced level at Bilkent University: Program Verification (PV) (last given by me in spring'98)
- Software Engineering:
- Advanced level: Software Engineering (SE) (last given by me in spring'01)
- Graduate level at Bilkent University: Automation in Software Engineering (ASE) (last given by me in autumn'97)
- Databases:
- Basic level: Database Systems (DB) (last given by me in autumn'99)
Last modified: Mon Mar 28 11:03:43 CEST 2011