Reiner Hähnle
Director of Graduate Studies
Updated on: October 20, 2004
As a rule, our graduate courses are open to all staff and students from both Chalmers and GU. The general prerequisite is a good foundation in Computing Science, such as can be acquired during an internationally accredited undergraduate degree in the subject. For more specific information, contact the teachers concerned.
On this page we offer 1-point intensive courses and regular graduate courses. They are described in separate sections below. When you plan your course requirements, don't forget that there are voluntary common interest courses offered by Chalmers and GU for all students (see below).
You can also arrange self-study courses with your supervisor and other teachers. Summer schools are normally eligible for credit as well. If in doubt, consult your supervisor or the Director of Grad Studies. Don't forget to check out the graduate courses offered by Interaction Design, the Department of Computer Engineering, the Department of Mathematics, and the Department of Mathematical Statistics.
Please consider as well to take one of the courses offered by the Centre for digital media and higher education for all PhD students.
To make attendance easier for the many students (and teachers) who have teaching, I try to schedule our courses in exam weeks as much as possible.
Here is the overview of the academic year.
| Teacher | Week | Start Date | Course Title |
| Martin Giese | 39 | 22-Sep-03 | Introduction to Aspect Oriented Programming |
| Sibylle Schupp | 42 | 13-Oct-03 | The Standard Template Library and Beyond |
| Graham Kemp | 22 | 24-May-04 | The Functional Approach to Data Management |
| Allen Stoughton | 23/24 | 1-Jun-04 | Concurrent ML |
| 2004/2005 | |||
| Carsten Sinz | 40 | 27-Sep-04 | Advanced Topics in SAT-Solving |
| Fang Chen et al. | 43 | 18-Oct-04 | Interaction Design |
| Philippas Tsigas | 44 | 25-Oct-04 | Concurrent Data Structures |
| Grégoire Hamon | TBA | TBA | TBA |
| Todd Veldhuizen | TBA | TBA | TBA |
| Peter Dybjer | TBA | TBA | The logic of functional programs |
| TBA | 51 | 13-Dec-04 | TBA -- This is an exam week |
| TBA | 11 | 14-Mar-05 | TBA -- This is an exam week |
| TBA | 13 | 29-Mar-05 | TBA -- This is an exam week |
| TBA | 21 | 23-May-05 | TBA -- This is an exam week |
| Teacher | Period | Credits | Course Title |
| Peter Damaschke | 3 | 5 | Machine Learning |
| Devdatt Dubhashi | w36-39 & 44-48 | 5 | Concentration of Measure for Analysis of Algorithms |
| Lars Hallnäs | 3-4 | 5 | Form and Interaction |
| Marcin Benke | 4 | 5 | Types and Programming Languages |
| Patrik Jansson | 4 | 5 | Algebra of Programming |
| 2004/2005 | |||
| Fang Chen et al. | 1-2 | 5 | Human-system Interaction Research Methodology |
| Reiner Hähnle | 2 | TBA | Automated Theorem Proving |
| Andrei Sabelfeld | 4 | TBA | Language-based security |
Back to Chalmers Graduate Education