Beräkningsvetenskap

Forskningen vid avdelningen för beräkningsvetenskap har sina rötter i numerisk analys för partiella differentialekvationer. Numera omfattar den även matematisk modellering, algoritmer, analys, utveckling av programvara, högprestanda-beräkningar och beräkningsmodeller för dataanalys baserad på observationer inom många olika applikationsområden.

Datalogi

Forskningen och undervisningen vid avdelningen för datalogi syftar till att göra konstruktion och verifiering av programvara både enklare, effektivare och mer tillförlitligt. Vi utvecklar och undervisar metoder, språk och verktyg och arbetar inom både tillämpad och teoretisk forskning.

Datorteknik

Forskningen och undervisningen vid datorteknik rör utvecklingen av nya och bättre datorsystem, till exempel datornät, parallelldatorer och inbyggda system. Forskningen och undervisningen inkluderar specificering, verifiering, analys, och experimentell systemutveckling.

Systemteknik

Världen är i växande grad beroende av tillförlitliga reglersystem och effektiv utvinning av information i signaler och datamängder. Avdelningen för systemteknik forskar och undervisar inom modellering, analys, syntes och reglering av dynamiska system för att driva utveckling inom dessa områden.

Visuell information och interaktion

På avdelningen för visuell information och interaktion samlas en världsunik kombination av expertis inom datoriserad bildanalys och människa-datorinteraktion. Här förenas matematik, psykologi och robotik i forskning inom såväl teori som tillämpningar.