Programmeringsspråk och modellering

Vi studerar teori och system inom modellering, programmeringsspråk, kompilatorer, formell semantik, maskininlärning, probabilistisk programmering, samt realtidssystem.