Thomas Sjöland

Min akademiska examen är kandidat i datalogi, matematik och logik från Stockholms universitet.

Jag var anställd som forskningsingenjör vid Karolinska Institutet (1980-1982) och KTH (1983-1985). Därefter arbetade jag som forskare vid forskningsinstitutet SICS (1985-1999). Jag har sedan varit anställd lärare (högskoleadjunkt och vik univ-lektor) vid KTH sedan 1999, sedan 2005 var jag prefekt för den datavetenskapliga institutionen vid EECS-skolan (2018-2021), avdelningschef för SCS (2011-2024), prefekt för institutionen ECS (2007-2010), avdelningschef för IMIT:s avdelning LECS (2005-2007). Jag var även administrativ chef vid ICT-skolan (2007-2010). Hela tiden (1999-2024) var jag studierektor för grundutbildningen på de olika avdelningar jag tillhörde.

Sedan september 2024 är jag pensionerad men deltar selektivt och i liten skala  i kurser.

Jag är intresserad av logikprogrammering och formell semantik för programmeringsspråk, speciellt abstrakt interpretering..

Jag har även en bakgrund inom elektroakustisk musik, specifikt datormusik, samt har studerat de första två åren på läkarutbildningen på KI med poäng i histologi, anatomi, medicinsk kemi, fysiologi, samt medicinsk statistik och medicinsk fysik.

Jag har även arbetat som programmerare och konsult inom olika projekt inom datakommunikation och mikrodatorstöd för forskningsprojekt samt gjort ett exjobb om programarkitekturen i det klassiska sociala  mediet KOM.