Kurser, EECS/Teoretisk datalogi
| Kursnamn | Omfattning | Kurskod | Utbildningsnivå |
|---|---|---|---|
| Aktuell forskning inom beviskomplexitet | 9,0 hp | FDD3501 | Forskarnivå |
| Analys av Booleska funktioner | 7,5 hp | FJT3382 | Forskarnivå |
| Approximationsalgoritmer | 6,0 hp | FDD3390 | Forskarnivå |
| Automater och språk | 6,0 hp | FDD3372 | Forskarnivå |
| Avancerade objektorienterade system | 7,5 hp | FDD3456 | Forskarnivå |
| Datalogididaktik | 7,5 hp | FDD3462 | Forskarnivå |
| Distribuerade algoritmer | 6,0 hp | FDD3008 | Forskarnivå |
| Integritetsskyddande teknologier | 7,5 hp | FDD3344 | Forskarnivå |
| Interaktiv teorembevisning | 4,5 hp | FDD3461 | Forskarnivå |
| Kombinatorisk optimering | 6,0 hp | FDD3402 | Forskarnivå |
| Kommunikationskomplexitet | 6,0 hp | FDD3502 | Forskarnivå |
| Komplexitetsteori | 7,5 hp | FDD3445 | Forskarnivå |
| Kvadratsumme-seminarium | 7,5 hp | FDD3381 | Forskarnivå |
| Kvantberäkning | 6,0 hp | FDD3335 | Forskarnivå |
| Läskurs i datalogi för doktorander | 9,0 hp | FDD3019 | Forskarnivå |
| Läskurs i datalogi för doktorander 1,5 hp | 1,5 hp | FDD3016 | Forskarnivå |
| Läskurs i datalogi för doktorander 3 hp | 3,0 hp | FDD3017 | Forskarnivå |
| Läskurs i datalogi för doktorander 6 hp | 6,0 hp | FDD3018 | Forskarnivå |
| Mjukvaru pålitlighet | 9,0 hp | FDD3459 | Forskarnivå |
| Programsemantik och programanalys | 6,0 hp | FDD3457 | Forskarnivå |
| Seminariekurs i teoretisk datavetenskap | 7,5 hp | FDD3343 | Forskarnivå |
| Seminarier i statisk analys | 7,5 hp | FDD3011 | Forskarnivå |
| Storverk i teoretisk datavetenskap | 7,5 hp | FDD3350 | Forskarnivå |
| Studier i teoretisk datalogi | 2,0 hp | FDD3341 | Forskarnivå |
| Summan av kvadrater och heltalsprogrammeringslättnader | 6,0 hp | FDD3013 | Forskarnivå |
| Temporal logik | 4,0 hp | FDD3006 | Forskarnivå |