ST /
Courses
(This is an inofficial list of ST division courses for 2014.)
| Cluster | Program | LP | Year | Kurskod CTH | Kurskod GU | Kursnamn | Poäng | Course responsible | Examiner | Språk | Avdelning | Size (in HST) | Teaching team | Comment |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Prog1 | D | 0 | B1 | TDA605 | Introduktion till programmering | 1.5 | Emil Axelsson | Emil Axelsson | s | ST | 2 | Joel, John Hughes, JPB, (Josef) | ||
| Prog1 | DV | 0 | B1 | DIT700 | Datorintroduktion GU | 1.5 | Emil Axelsson | Emil Axelsson | s | ST | 1 | Joel, (Josef) | ||
| Prog1 | I | 3 | B1 | TDA143 | Programmerade system | 7.5 | Christer Carlsson | Christer Carlsson | s | ST | 16 | (Josef) | ||
| Prog1 | Z | 1-2 | B1 | TDA540 | Objektorienterad programmering Z | 7.5 | Christer Carlsson + JvH | Christer Carlsson | s | ST | 11 | (Josef) | ||
| Prog1,FP | D/DV | 1 | B1 | TDA555 | DIT440 | Intro till funktionell programmering | 7.5 | Emil Axelsson | Emil Axelsson | s | ST | 20 | Joel, (Josef), John Hughes, JPB | |
| Prog1,2 | D | 3 | B1 | DAT043 | Objektorienterad programmering (D) | 7.5 | Jan Skansholm | Jan Skansholm | s | ST | 12 | (Josef) | ||
| Prog1,2 | DV | 2 | B1 | DIT011 | Objektorienterad prgramvaruutveckling | 7.5 | Jan Skansholm | Jan Skansholm | s | ST | 8 | (Josef) | ||
| Prog1,2 | d | 2 | B1 | DAT050 | Objektorienterad programmering | 7.5 | Uno Holmer | Uno Holmer | s | ST | 8 | (Josef) | Lindholmen | |
| Prog2 | DV | 3 | B1 | DIT950 | Programmering fk | 7.5 | Joachim von Hacht | Joachim von Hacht | s | ST | 6 | (Josef) | ||
| Prog2 | IT | 2 | B1 | TDA550 | Objektorienterad programvaruutveckling fk | 7.5 | Christer Carlsson | Christer Carlsson | s | ST | 20 | (Josef) | ||
| DStr | DV | 4 | B2 | DIT960 | Datastrukturer | 7.5 | Nick Smallbone | ? | s | ST | 5 | John Hughes, JPB, (Josef) | ||
| DStr | IT/DV | 4 | B1 | TDA367 | DIT212 | Objektorienterat programmeringsprojekt | 7.5 | Joachim von Hacht | Joachim von Hacht | s | ST | 15 | (Josef) | |
| DStr | d | 3 | B2 | DAT055 | Objektorienterade applikationer | 7.5 | Uno Holmer | Uno Holmer | s | ST | 7 | (Josef) | Lindholmen | |
| DStr | d | 4 | B2 | LET375 | Algoritmer och datastrukturer | 7.5 | Uno Holmer | Uno Holmer | s | ST | 11 | John Hughes, JPB, (Josef) | Lindholmen | |
| FM | IT/DV | 2 | B3 | TDA566 | DIT082 | "Testing, debugging and verification" | 7.5 | Moa Johansson + Laura Kovács | (Wolfgang Ahrendt -> Laura) | e | ST | 8 | Wolfgang, John Hughes, Bart | |
| FM | MPALG/CS | 1 | M | TDA293 | DIT270 | Software engineering using formal methods | 7.5 | Wolfgand Ahrendt | Wolfgang Ahrendt | e | ST | 7 | JPB, Bart | |
| FM | MPSOF | 4 | M | DAT260 | DIT848 | Model based testing | 7.5 | Gerardo Schneider | Gerardo Schneider | e | ST | 4 | John Hughes, Hamid Ebadi | |
| FM | N1SOB | 3 | B3 | DIT085 | Test and verification | 6 | Meng Wang | Meng Wang | ST | 7 | Wolfgang, John Hughes, Bart | Lindholmen | ||
| FP | D/DV | 2 | B3 | TDA452 | DIT142 | Functional programmering | 7.5 | David Sands | David Sands | e | ST | 8 | John Hughes, JPB, (Josef), Joel, Nikita | |
| FP | MPALG/CS | 4 | M | DAT280 | DIT261 | Parallel Functional Programming | 7.5 | Mary Sheeran + John Hughes | Mary Sheeran | e | ST | 4 | Dave, John Hughes, JPBB+, (Josef), Joel | |
| FP,PLT | MPALG/CS | 3 | M | TDA342 | DIT260 | Advanced functional programming | 7.5 | Patrik Jansson | Patrik Jansson | e | ST | 5 | Niklas, Josef+, John Hughes, JPB, JPB+ | |
| PLT | D/DV/CS | 3 | B2 | DAT121 | DIT331 | Programming paradigms | 7.5 | Jean-Philippe Bernardy | Jean-Philippe Bernardy | e | ST | 12 | John Hughes, (Josef), Luciano Bello | |
| PLT | MPALG/CS | 1-4 | M | TDA261 | DIT761 | Frontiers of Programming Languages | 7.5 | David Sands | David Sands | e | ST | 1 | John Hughes, JPB, Niklas, (Josef), Willard, Luciano | |
| PLT | MPALG/CS | 4 | M | TDA282 | DIT300 | Compiler construction | 7.5 | Josef Svenningson | Josef Svenningsson | e | ST | 5 | John Hughes, JPB, Nikita | |
| Sec | MPALG/CS | 2 | M | TDA351 | DIT250 | Cryptography | 7.5 | Daniel Hedin | Andrei Sabelfeld | e | ST | 16 | Andrei, Dave, Willard, Nikita, Bart | |
| Sec | MPALG/CS | 4 | M | TDA601 | DIT101 | Language-based security | 7.5 | Andrei Sabelfeld | Andrei Sabelfeld | e | ST | 4 | Dave, Niklas, John Hughes, Willard, Luciano | |
| ?Misc | D/DV | 3 | B2 | TDA382 | DIT390 | Concurrent programming | 7.5 | Alejandro Russo | Alejandro Russo | e | ST | 11 | Andrei, Dave, Josef+, John Hughes, JPB, Willard | |
| ?Misc | IT/DV | 3 | B3 | TDA357B | DIT620 | Databases LP3 | 7.5 | Niklas Broberg | Graham Kemp | e | ST | 13 | Bart | |
| ?Misc | d/DV | 1 | B3 | DAT076 | DIT126 | Webapplikationer | 7.5 | Joachim von Hacht | Joachim von Hacht | s | ST | 11 |
Special cases:
- 2013-2014: Cezar teaches the first Java course for the SE&M programme (but the responsibility is formally with the SE division)
- 2014-?: The Crypto course is taught by Katerina Mitrokotsa (at the NS division) but the responsibility is formally with the ST division
Clusters:
- Prog1: Objektorienterad programmering Z (@ST), Objektorienterad programvaruutveckling (DV) (@ST), Objektorienterad programmering (d) (@ST), Programmerade system (I) (@ST), Objektorienterad programmering (D) (@ST), Intro till funktionell programmering (@ST), Datorintroduktion GU (1.5hp) (@ST), Introduktion till programmering (1.5hp) (@ST),
- Prog2: Objektorienterad programvaruutveckling fk (IT) (@ST), Programmering fk (DV) (@ST), Objektorienterad programmering (d) (@ST), Objektorienterad programvaruutveckling (DV) (@ST), Objektorienterad programmering (D) (@ST)
- DStr: Datastrukturer DV (@ST), Objektorienterade applikationer (d) (@ST), Algoritmer och datastrukturer (d, I) (@ST), Objektorienterat programmeringsprojekt (IT, DV) (@ST),
- FP: Intro till funktionell programmering (D) (@ST), Functional programmering (@ST), Advanced functional programming (@ST), Parallel Functional Programming (@ST)
- Sec: Computer Security (@NS), Cryptography (@ST), Language-based security (@ST), Network security (@NS)
- FM: Test and verification (@ST), "Testing, debugging and verification" (@ST), Model based testing (@ST), Software engineering using formal methods (@ST)
- Alg.: Algorithms (@CS), Advanced Algorithms (@CS), Discrete Optimization (@CS), Machine Learning (@CS), Artificial Intelligence (@CS)
- ProgLang: Programming paradigms (@ST), Programming Language Technology (@ST), Compiler Construction (@ST), Frontiers of Programming Languages (@ST), Advanced Functional Programming (@ST), etc
- Log&Comp: Logic in CS (@CS), Models of Computation (@CS), Types for Programs and Proofs (@CS), Automata and Formal Languages (@CS)
- Conc (name?): Concurrent programming (@ST), Databases (@CS+@ST), Webapplikationer (@ST), Parallel Functional Programming (@ST)