Pierre Flener's Teaching
The courses that I have taught, currently teach, and love to teach are:
- Combinatorial Optimisation:
- Advanced level: Modelling for Combinatorial Optimisation (M4CO) (next given by me in autumn 2024, period 1) (slides)
- Advanced level: Combinatorial Optimisation and Constraint Programming (COCP) (next given by me in autumn 2024, periods 1 and 2) (slides)
- Algorithms and Data Structures:
- Advanced level: Algorithms and Data Structures, part 3 (AD3) (next given by me in spring 2025, period 3)
- Basic level: Algorithms and Data Structures, part 2 (AD2) (last 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 it was 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 Jun 20 10:46:07 CEST 2024