Thomas Sjöland

Tidigare lärare och studierektor samt avdelningschef/prefekt

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

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.

Jag har även en bakgrund inom elektroakustisk musik, specifikt datormusik vid EMS, 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 anställdes 1982  som systemerare vid Karolinska Institutet (1982-1983) för ett projekt inom SUNET och blev därefter forskningsingenjör vid KTH (1983-1985). Därefter arbetade jag som forskare vid forskningsinstitutet SICS (1985-1999). Jag har sedan varit anställd vid KTH som lärare och studierektor (vik univ-lektor och sedan  högskoleadjunkt) sedan 1999.

Jag var avdelningschef för IMIT:s avdelning LECS (2005-2007) och sedan prefekt för institutionen ECS när ICT-skolan bildades. Jag var även på halvtid administrativ chef vid ICT-skolan (2007-2010). Jag var avdelningschef för SCS (2011-2024). När skolan EECS bildades blev jag prefekt för den datavetenskapliga institutionen (2018-2022),

Sedan september 2024 är jag pensionerad..

Jag är intresserad av logikprogrammering och formell semantik för programmeringsspråk, speciellt abstrakt interpretering där jag har ett tyvärr ofärdigt avhandlingsprojekt som doktorand.