Clusters
Course Clusters and Teaching teams
The CS + ST divisions are working towards a semi-formal structure of course clusters and associated teaching teams to handle curriculum development and "stand-in" teachers.
Clusters:
- Sec (AnSa) = Security (meeting 2014-03-21)
- Alg. (PeDa) = Algorithms courses (meeting 2014-04-07)
- DStr (NAD) = Datastructures (and BSc algorithms) (meeting 2014-04-11)
- Logic (AnBo) = Logic and computation (meeting 2014-04-14)
- FM (LaKo) = Formal methods and testing (meeting 2014-04-??)
- Prog1 (ChCa) = first programming courses (meeting 2014-05-07)
- ParDist (OlLa) = Parallell and distributed computing (meeting 2014-05-23)
- Prog2 (JaSk?) = second + third programming courses
- FP (DaSa) = Functional Programming
- PLT (AaRa) = Programming Language Technology
- DataSci (DaWe) = Data Science and Applications
Tasks for the first course cluster meeting
Please meet before Easter - the chair calls for the meeting and makes sure some documentation is published at the wiki.
- Propose substitute teacher for each course
- Curriculum planning and revision: The teaching team is jointly responsible for the course cluster as a whole. It is in particular responsible for
- the internal coherence of the cluster (avoiding too much overlap and unintended gaps)
- the interface with other course clusters
- keeping up to date with international developments, new trends, etc, for example, comparison with the ACM Curriculum.
- Is this cluster "the right grouping"? What are related courses in other clusters etc.
- Prerequisites and placement of courses into study periods.
- Name of courses in the cluster.
2014-03-14: Course clusters (for CS + ST + overlaps)
Each cluster should have one senior faculty member as "Cluster Chair" for long-term curriculum development. (Each cluster can have a junior faculty member as co-chair.)
Clusters:
- Prog1 = first programming courses
- Prog1 Chair ChCa, Co-chair EmAx, JvH, CeIo, UnHo?, ErHo, KrAn
- Prog1: Objektorienterad programmering Z (@ST)
- Prog1: Programmerade system (I) (@ST)
- Prog1: Intro till funktionell programmering (@ST)
- Prog1: Objektorienterad programmering (IT) (@IT?)
- Prog1: Objektorienterad programmering (E/M) (@CS)
- Prog1: Programmeringsteknik (F) (@CS)
- Prog1: OOP intro (SE&M) (@SE but taught by CeIo)
- Prog1: Prog. (d) (@NS)
- Prog1: Cancelled: (Datorintroduktion GU (1.5hp) (@ST) + Introduktion till programmering (1.5hp) (@ST)
- Prog2 = second + third programming courses
- Prog2 Chair UnHo, Co-chair JaSk, JvHa, ChCa
- Prog2: Objektorienterad programmering (D) (@ST)
- Prog2: Objektorienterad programmering (d) (@ST)
- Prog2: Objektorienterad programvaruutveckling (DV) (@ST)
- Prog2: Objektorienterad programvaruutveckling fk (IT) (@ST)
- Prog2: Programmering fk (DV) (@ST)
- Prog2: Objektorienterade applikationer (d) (@ST)
- Prog2: Objektorienterat programmeringsprojekt (IT, DV) (@ST)
- DStr = Datastructures (and BSc algorithms)
- DStr Chair: NAD@CS, Co-chair: ErHo@CS, NiSm, UnHo, AnAb@CS, ...
- DStr: Datastrukturer (DV) (@ST)
- DStr: Datastrukturer (D) (@CS)
- DStr: Algoritmer och datastrukturer (d, I) (@ST)
- DStr: Logic, algorithms and datastructures (@CS)
- DStr: Datastructures and algorithms (IT) (@CS)
- FM = Formal methods and testing
- FM Chair LaKo, Co-chair WoAh, GeSc, MoJo, MeWa
- FM: Testing, debugging and verification (@ST)
- FM: Model based testing (@ST)
- FM: Software engineering using formal methods (@ST)
- FM: Test and verification (@ST)
- FP = Functional Programming
- FP Chair DaSa, Co-chair MaSh, PaJa, JoHu, EmAx
- FP: Functional programmering (@ST)
- FP: Intro till funktionell programmering (D) (@ST)
- FP: Advanced functional programming (@ST)
- FP: Parallel Functional Programming (@ST)
- PLT = Programming Language Technology
- PLT Chair AaRa@CS, Co-chair JoSv, DaSa, JPB, AnAb@CS
- PLT: Compiler Construction (@ST)
- PLT: Frontiers of Programming Languages (@ST)
- PLT: Programming Language Technology (@CS)
- PLT: Programming paradigms (@ST)
- (PLT: Advanced Functional Programming (@ST))
- Sec = Security
- Sec Chair AnSa, Co-chair KaMi@NS, DaHe, ...
- Sec: Computer Security (@NS)
- Sec: Cryptography (@ST)
- Sec: Language-based security (@ST)
- Sec: Network security (@NS)
- DataSci = Data Science and Applications
- DataSci: Chair: Dag Wedelin, Co-chair: Graham Kemp, ...
- DataSci: Databases (@CS+@ST)
- DataSci: Webapplikationer (@ST)
- DataSci: Mathematical modelling and problem solving (@CS)
- DataSci: Computational methods in bioinformatics (@CS)
- DataSci: Computational syntax
- Logic = Logic and computation
- Logic Chair Ana, Thierry, Peter Dy, Bengt
- Logic: Automata and Formal Languages (@CS)
- Logic: Logic in CS (@CS)
- Logic: Models of Computation (@CS)
- Logic: Types for Programs and Proofs (@CS)
- Alg. = Algorithms courses
- Alg. Chair Peter Da, Devdatt, Christos, Chien-Chung, Erland, Peter Lj
- Alg.: Advanced Algorithms (@CS)
- Alg.: Algorithms (@CS)
- Alg.: Artificial Intelligence (@CS)
- Alg.: Discrete Optimization (@CS)
- Alg.: Machine Learning (@CS)
- ParDist: Parallel and Distributed Computing
- Chair OlLa@NS, Co-Chair: AlRu
- ParDist: Concurrent programming (@ST)
- ParDist: Operating Systems (@NS)
- ParDist: Distributed Systems (@NS)
- ParDist: Distributed Systems II (@NS)
- ParDist: Parallell Functional Programming (@ST)