Programmeringsspråk och modellering Vi studerar teori och system inom modellering, programmeringsspråk, kompilatorer, formell semantik, maskininlärning, probabilistisk programmering, samt realtidssystem. Gruppen/labbet leds av David Broman professor, avdelningschef dbro@kth.se , 087904274 Profil