Forskningsområden
Avdelningen arbetar inom flera områden och bidrar till framtidens lösningar inom områdena dataanalys, programvaruteknik, distribuerade och parallella system, nätverkssystem, säkerhet i nätverkssystem.
Dataanalys ("Data Science") och maskininlärning
Vi forskar kring algoritmer och system för dataanalys, maskininlärning och data mining. Vi arbetar med tillämpningar inom t.ex. hälso- och sjukvård, läkemedelsutveckling, klimatforskning, prediktivt fordonsunderhåll samt sociala nätverk.Tillämpningar utforskas även inom smarta städer, AI i äldrevården, KBT-terapi med datorstöd.
Data Science: Machine Learning
GALE - Grafanalys och nätverksbaserade lärarnde system
Programvaruteknik
Vår forskning behandlar teori och system inom modellering, programmeringsspråk, kompilatorer, formell semantik, maskininlärning, probabilistisk programmering, realtidssystem.
Programming languages and modelling
Vi studerar nya metoder och system för analys och utveckling av programvara och tjänster. Detta inkluderar semantik-baserade och maskin-inlärnings-baserade ansatser, nya arkitekturer för dataanalyssystem, autonoma programvarusystem, programvaror och tjänster anpassade för integritet och förtroende.
Vi studerar även multiagentsystem t.ex. ”crowd intelligence”.
Distribuerade och parallella system
Vi utvecklar stora distribuerade system och algoritmer inom programmering av tillämpningar inom dataintensiva system för cloudtjänster, big data och dataanalys. Vi undervisar även om databaser, operativsystem och parallell programmering.
Distribuerade och parallella system
Datorarkitektur
Forskning om användning av nya kretsar för design av datorer.
Nätverkssystem
In Network Systems we conduct research and education in the area of design, analysis, and management of next generation networks and services. In particular, our main research focus is making it easy to develop and manage key societal Network Systems that meet their objectives. Classic examples include: high performance, high reliability, and low-power.
Nätverkssäkerhet och integritet
Our research agenda includes a gamut of security and privacy problems. We have a strong systems character, implementing and evaluating our solutions. At the same time, we pay close attention to theoretical methods, including, notably, formal protocol analysis and information-theoretic results.
Networked Systems Security Group
Grundkurser
Vi undervisar datavetenskapliga grundkurser i programmering, datorsystem, samt metodkurser och projektkurser.
Vi erbjuder baskurser i algoritmer och datastrukturer, programvaruteknologi, organisatoriska och metodologiska aspekter på utveckling programvara. Även matematikkurser med problemorienterad pedagogik förekomer.