Back
Teaching and Admin of Volker Sorge
Here is an overview of all my current and former teaching and Administrative activities.
Taught Modules
- Autumn 2011:
Cryptography,
4th year/MSc module,
57 Students.
- Autumn 2011:
Cryptography,
2nd year module,
70 Students.
- Autumn 2010:
Lisp,
Masterclass,
4 Students.
- Autumn 2010:
Cryptography,
4th year/MSc module,
65 Students.
- Autumn 2009:
Software Systems Components 1,
2nd year module,
87 Students.
- Autumn 2009:
Cryptography,
4th year/MSc module,
65 Students.
- Spring 2009:
Models of Computation,
2nd year module,
55 Students.
- Autumn 2008:
Cryptography,
4th year/MSc module,
50 Students.
- Spring 2008:
Models of Computation,
2nd year module,
62 Students.
- Autumn 2007:
Cryptography,
4th year/MSc module,
50 Students.
- Autumn 2006:
Cryptography,
4th year/MSc module,
72 Students.
- Spring 2006:
Models of Computation,
2nd year module,
99 Students.
- Spring 2006:
Team Java,
2nd year module,
94 Students.
- Spring 2005:
Models of Computation,
2nd year module,
134 Students.
- Spring 2005:
Graphics,
2nd year module,
142 Students.
- Spring 2004:
Math & Logic B/Logic,
1st year module,
110 Students.
- Spring 2003:
Math & Logic B/Logic,
1st year module,
132 Students.
Administration
- Member of the BSC/IET Accreditation Committee, 2007
- Member of the Research Committee, since 2007
- Member of the MSc Mitigation Panel 2007
- Member of the MSc Exam Board 2007
- Welfare Tutor, 2006
- Member of the Undergraduate Exam Board 2005
- Member of the Facilities Committee 2003-2005
- Deputy Facilities Director, 2004-2005
- I organised theTheory Seminars in the School of Computer Science, Birmingham from 2002-2004, 2005-2006
- I organised the Departmental Seminars in the School of Computer Science, Birmingham from 2004-2005
Former teaching in Saarbrücken (in German)
- SS 2001:
Parameterisierbare agentbasierte Taktikexpansion,
Fortgeschrittenenpraktikum.
- WS 2000/2001:
Tutorielle Systeme,
Vortragsbetreuung im Proseminar.
- SS 2000:
Agentbasierte Theoremanwendung in der Beweisplanung,
Fortgeschrittenenpraktikum .
- SS 2000:
Deduktion und Berechnung,
Vortragsbetreuung Seminar.
- WS 1999/2000:
Informatik IV,
Betreuung der Vorlesung.
- WS 1999/2000:
Resourcen in agentbasierten Beweissystemen,
Fortgeschrittenenpraktikum.
- WS 1999/2000:
KI Planen,
Vortragsbetreuung im Proseminar.
- WS 1999/2000:
Deduktionssysteme,
Vortragsbetreuung im Proseminar.
- SS 1998:
Taktikexpansion für Arithmetik auf rationalen Zahlen,
Fortgeschrittenenpraktikum.
- SS 1997:
Einführung in die Methoden der KI,
Übungen zur Vorlesung .
Back