Hoppa till huvudinnehållet
Till KTH:s startsida Till KTH:s startsida

FDD3011 Seminarier i statisk analys 7,5 hp

Kursomgångar saknas för aktuella eller kommande terminer.
Rubriker med innehåll från kursplan FDD3011 (VT 2014–) är markerade med en asterisk ( )

Innehåll och lärandemål

Kursinnehåll

Kursen består av att läsa och presentera ett antal vetenskapliga artiklar valda från de bästa konferensena i området. Varje doktorand kommer presentera åtminståne tre artiklar.

Lärandemål

Efter kursen skall studenten ha ett djupt förståelse av de senaste framstegen i området av statisk programanalys, med fokus på frågeställningar, metoderna och användningar. Det exakta innehållet kan variera från en omgång till nästa.

Kurslitteratur och förberedelser

Särskild behörighet

Ingen information tillagd

Rekommenderade förkunskaper

FDD3457 programsematik och programanalys, eller motsvarande kunskaper

Utrustning

Ingen information tillagd

Kurslitteratur

Vetenskapliga artiklar valda från kursledaren.

Examination och slutförande

När kurs inte längre ges har student möjlighet att examineras under ytterligare två läsår.

Betygsskala

P, F

Examination

    Examinator beslutar, baserat på rekommendation från KTH:s handläggare av stöd till studenter med funktionsnedsättning, om eventuell anpassad examination för studenter med dokumenterad, varaktig funktionsnedsättning.

    Examinator får medge annan examinationsform vid omexamination av enstaka studenter.

    Möjlighet till komplettering

    Ingen information tillagd

    Möjlighet till plussning

    Ingen information tillagd

    Examinator

    Etiskt förhållningssätt

    • Vid grupparbete har alla i gruppen ansvar för gruppens arbete.
    • Vid examination ska varje student ärligt redovisa hjälp som erhållits och källor som använts.
    • Vid muntlig examination ska varje student kunna redogöra för hela uppgiften och hela lösningen.

    Ytterligare information

    Kursrum i Canvas

    Registrerade studenter hittar information för genomförande av kursen i kursrummet i Canvas. En länk till kursrummet finns under fliken Studier i Personliga menyn vid kursstart.

    Ges av

    Huvudområde

    Denna kurs tillhör inget huvudområde.

    Utbildningsnivå

    Forskarnivå

    Påbyggnad

    Ingen information tillagd

    Forskarkurs

    Forskarkurser på EECS/Teoretisk datalogi