# Pierre Flener's Teaching

The courses that I have taught, currently teach, and love to teach are:

**Combinatorial Optimisation**:- Advanced level: Combinatorial Optimisation using Constraint Programming (COCP) (next given by me in autumn 2018, periods 1 and 2) (slides)
- Advanced level: Modelling for Combinatorial Optimisation (M4CO) (next given by me in spring 2018, period 3) (slides)

**Algorithms and Data Structures**:- Advanced level: Algorithms and Data Structures, part 3 (AD3) (next given by me in spring 2018, period 3)
- Basic level: Algorithms and Data Structures, part 2 (AD2) (next given by me in autumn 2019, period 2)
- Basic level: Algorithms and Data Structures, part 1 (AD1) (last given by me in spring 2010)
- Basic level: Program Design II (PK2) (last given by me in spring 2006, then merged with the AD1 course above)
- Second year at Sabanci University: Data Structures (CS202) (given by me in spring 2007)

**Introduction to Programming**(using SML):- First year: Program Design and Data Structures (PKD) (last co-given by me over autumn 2011 and spring 2012)
- First year: Programming Methodology, part 1 (PM1) (last given by me in autumn 2001)
- First year: Program Design I (PK1) (last given by me over autumn 2001 and spring 2002)

**Declarative Programming**:- Advanced level: Functional Programming (FP) (last given by me in autumn 2004)
- Advanced level at Bilkent University: Logic Programming (LP) (last given by me in spring 1997)

**Artificial Intelligence**- Advanced level at Bilkent University: Artificial Intelligence (AI) (last given by me in autumn 1994)

**Theory**- Advanced level at Sabanci University: Formal Languages and Automata Theory (CS302) (given by me in autumn 2006)

**Program Verification**:- Basic level: Constructing Correct Programs (CCP) (last given by me in spring 2000)
- Advanced level at Bilkent University: Program Verification (PV) (last given by me in spring 1998)

**Software Engineering**:- Advanced level: Software Engineering (SE) (last given by me in spring 2001)
- Graduate level at Bilkent University: Automation in Software Engineering (ASE) (last given by me in autumn 1997)

**Databases**:- Basic level: Database Systems (DB) (last given by me in autumn 1999)

Last modified: Thu Feb 8 11:25:47 CET 2018