FDD3006 | Temporal logik | 4,0 hp | Forskarnivå |
FDD3008 | Distribuerade algoritmer | 6,0 hp | Forskarnivå |
FDD3011 | Seminarier i statisk analys | 7,5 hp | Forskarnivå |
FDD3013 | Summan av kvadrater och heltalsprogrammeringslättnader | 6,0 hp | Forskarnivå |
FDD3016 | Läskurs i datalogi för doktorander 1,5 hp | 1,5 hp | Forskarnivå |
FDD3017 | Läskurs i datalogi för doktorander 3 hp | 3,0 hp | Forskarnivå |
FDD3018 | Läskurs i datalogi för doktorander 6 hp | 6,0 hp | Forskarnivå |
FDD3019 | Läskurs i datalogi för doktorander | 9,0 hp | Forskarnivå |
FDD3024 | Forskningsförberedande kurs i programmeringsspråk och formella metoder | 10,0 hp | Forskarnivå |
FDD3029 | Epistemisk logik | 6,0 hp | Forskarnivå |
FDD3250 | Kunskap i spel med imperfekt information | 6,0 hp | Forskarnivå |
FDD3335 | Kvantberäkning | 6,0 hp | Forskarnivå |
FDD3341 | Studier i teoretisk datalogi | 2,0 hp | Forskarnivå |
FDD3343 | Seminariekurs i teoretisk datavetenskap | 7,5 hp | Forskarnivå |
FDD3344 | Integritetsskyddande teknologier | 7,5 hp | Forskarnivå |
FDD3350 | Storverk i teoretisk datavetenskap | 7,5 hp | Forskarnivå |
FDD3372 | Automater och språk | 6,0 hp | Forskarnivå |
FDD3381 | Kvadratsumme-seminarium | 7,5 hp | Forskarnivå |
FDD3390 | Approximationsalgoritmer | 6,0 hp | Forskarnivå |
FDD3402 | Kombinatorisk optimering | 6,0 hp | Forskarnivå |
FDD3445 | Komplexitetsteori | 7,5 hp | Forskarnivå |
FDD3452 | Formella metoder | 7,5 hp | Forskarnivå |
FDD3456 | Avancerade objektorienterade system | 7,5 hp | Forskarnivå |
FDD3459 | Mjukvaru pålitlighet | 9,0 hp | Forskarnivå |
FDD3460 | Plagiatkontroll och grafisomorfi | 6,0 hp | Forskarnivå |
FDD3461 | Interaktiv teorembevisning | 4,5 hp | Forskarnivå |
FDD3462 | Datalogididaktik | 7,5 hp | Forskarnivå |
FDD3463 | Programvarusäkerhet | 7,5 hp | Forskarnivå |
FDD3501 | Aktuell forskning inom beviskomplexitet | 9,0 hp | Forskarnivå |
FDD3502 | Kommunikationskomplexitet | 6,0 hp | Forskarnivå |
FDD3511 | Seminariekurs i formella metoder och cybersäkerhet, steg 1 | 3,0 hp | Forskarnivå |
FDD3512 | Seminariekurs i formella metoder och cybersäkerhet, steg 2 | 3,0 hp | Forskarnivå |
FDD3557 | Programsemantik och programanalys | 7,5 hp | Forskarnivå |
FJT3382 | Analys av Booleska funktioner | 7,5 hp | Forskarnivå |