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