Thomas Sjöland
Uppdragstagare
Om mig
Min akademiska examen är kandidat i datalogi, matematik och logik från Stockholms universitet. Jag var anställd som forskare vid SICS (1985-1999). Jag har 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 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.
Dessa ämnen är underrepresenterade på KTH enligt min mening.
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.
Kurser
Logik för dataloger (DD1351), lärare, assistent | Kurswebb