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å
Formella metoder	7,5 hp	FDD3452	Forskarnivå
Forskningsförberedande kurs i programmeringsspråk och formella metoder	10,0 hp	FDD3024	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å