SET /
ST division Winter Meeting session on teaching
Course cluster overview
Algo = OOP+DStr+Alg;
- von Sydow, Lillieström, del Tedesco, Duregård, Persson
Concur = DB + Conc. prog;
- Broberg, Russo, Smallbone, Phung, Ji, Svenningsson
FunProg = IFP + FP + AFP;
- Bernardy, Jansson, Hedin, Wang, Claessen
ProgLang = ProgPara+PLT+CC+Frontiers;
- Sands, Bubel, Paganelli, Birgisson, Nordlander
Security = Crypto+LBSec;
- Sabelfeld, Magazinius, Rafnsson, Pa lka, Axelsson
Verify = TD&V + SEuFM + HD&V;
- Hähnle, Ahrendt, Sheeran, Sörensson, Amaral
Courses
| Algo | OOP | 3 | TDA547 | Objektorienterad programmering E |
| Algo | DStr | 2 | DAT036 | Data structures |
| Algo | Alg | 1 | TIN092 | Algorithms |
| Concur | Conc. prog | 1 | TDA381 | Concurrent Programming |
| Concur | DB | 2 | TDA357 | Databases |
| FunProg | IFP | 1 | TDA555 | Introduktion till funktionall programmering |
| FunProg | FP | 2 | TDA451 | Functional programming |
| FunProg | AFP | 3 | TDA342 | Advanced functional programming |
| ProgLang | ProgPara | 2 | DAT120 | Programming Paradigms |
| ProgLang | PLT | 3 | DAT150 | Programming Language Technology |
| ProgLang | CC | 4 | TDA282 | Compiler construction |
| ProgLang | Frontiers | 1 | TDA261 | Frontiers of programming languages |
| Security | Crypto | 2 | TDA351 | Cryptography |
| Security | LBSec | 4 | TDA601 | Language-based Security |
| Verify | TD&V | 2 | TDA566 | Testing, debugging and verification |
| Verify | HD&V | 4 | TDA956 | Hardware description and verification |
| Verify | SEuFM | 1 | TDA293 | Software engineering using formal methods |
| Theses | BSc | 3 | DATX02 | Kandidatarbete vid Data- och informationsteknik 15,0hp |
| Theses | MSc | A | DATX05 | Master's thesis in Computer science and engineering 30,0c |