Holger's Teaching

Current courses: - CPSC 532D (Topics in Artificial Intelligence): Stochastic Search Algorithms Past courses and modules: - CPSC 545/445: Algorithms for Bioinformatics (Autumn 2004, Autumn 2003)    previous version: CPSC 536A (Spring 2002, Spring 2001) - CPSC 532D (Topics in Artificial Intelligence): Stochastic Search Algorithms (Spring 2003, Spring 2002) - CPSC 220: Introduction to Discrete Structures (Spring 2004) - CPSC 421: Introduction to Theory of Computation (Autumn 2002, Autumn 2001) - CPSC 422: Intelligent Systems (Spring 2000, Spring 1999) - CPSC 590, Module "Introduction on Empirical Algorithmics" (Autumn 2003) - CPSC 101, Module "Computers and Music" (Autumn 2004, Autumn 2003) Other teaching: - Tutorial "Stochastic Local Search: Foundations and Applications" (AAAI 2004) - Tutorial "Stochastic Search Algorithms" (IJCAI 2003, IJCAI 2001, ECAI 2000) - Guest lecture "Computational Gene Finding" (MEDG 505, Spring 2002, Spring 2001; MBIOL 405, Autumn 2000) - Guest lecture "Symbolic Model Checking using SAT Techniques" (CPSC 513, Autumn 2000)