Programvara och system (SAS)

Avdelningen för Programvara och system (SaS) bedriver forskning och undervisning inom sju områden. De är programvaruteknik, programmeringsomgivningar, systemprogramvara, inbyggda programvaru- och hårdvarusystem, datorsystemteknik, realtidssystem och teoretisk datalogi.

Forskar- och lärarkåren inom SaS består av 9 professorer, cirka 20 docenter/lektorer/adjunkter/postdocs, 25 doktorander och 12 amanuenser. 

Avdelningens forskning bedrivs inom fyra laboratorier:

Inbyggda system (ESLAB)
Co-design och design for testbarhet av inbyggda hardware/software-system, samt formala metoder för inbyggda system.
http://www.ida.liu.se/labs/eslab
 
Programmeringssystem (PELAB)
Verktyg och arkitekturer för programvaruteknik, programspråk och programmeringssystem, inklusive kompilatorer, debugger, testverktyg, och verktyg för programmering av parallella, distriburade och realtidssystem.
http://www.ida.liu.se/labs/pelab
 
Realtidssystem (RTSLAB)
Tillförlitlighet och ressursmanagement i distribuerade system.
http://www.ida.liu.se/labs/rtslab
 
Teoretisk datalogi (TCSLAB)
Formala metoder, logik och constraint-programmering, constraint satisfaction-problem, analys av algoritmer och beräkningskomplexitet. 
http://www.ida.liu.se/labs/tcslab

Forskningen inbegriper både grundforskning och projekt i samarbete med industrin. Projekt bedrivs eller har bedrivits i samarbete med ABB Robotics, ABB Industrial Systems, Ericsson Softlab AB, Ericsson Radio Systems, Ericsson Telecom, SKF, Saab, Saab Dynamics, Saab Combitech och flera andra företag.

Undervisningsgruppen för programmering och programutveckling (UPP) ansvarar för merparten av avdelningens grundläggande kurser i programmering, datastrukturer och algoritmer samt även en del mer avancerade kurser inom olika områden.
http://www.ida.liu.se/divisions/sas/groups/upp


Avdelningen är ansvarig för cirka 70 grundutbildningskurser per år inom alla ingenjörsprogram på Linköpings universitet och täcker upp följande ämnesområden:

  • Grundläggande programmering
  • Operativsystem
  • Programmeringsteori
  • Programvaruteknik
  • Systemutveckling
  • Teoretisk datalogi
  • Parallella beräkningar
  • Kompilatorteknik
  • Inbyggda- och realtidssystem
  • Modellering och simulering
  • Distribuerade system
  • Datornätverk
  • Datorarkitekturer


Avdelningens grundutbildning administreras av avdelningens
studierektor.

Forskarutbildningen är organiserad inom följande områden:

  • Datavetenskap
  • Datorsystem

 

SaS seminarieserie är en kontinuerlig serie av öppna seminarier inom SaS-forskningsområden.
http://www.ida.liu.se/divisions/sas/seminars

Nyheter

Medarbetare SaS

Om institutionen

Kontakt