Vår forskining公司

Främjar utformningen av säkra och tillförlitliga程序och系统，Från teoretiska grunder直到设计和实现av程序språk och verktyg。

Forskar inom datavetenskap，AI och maskinillärning公司。Flera av forskiningsprojekten stöds av Chalmers AI研究发起人（CHAIR）och Wallenberg AI（WASP）

Tacklar utmaningarna med att by gga tillförlitliga，säkra och energieffektiva系统。Forskningen täcker ett brett spektrum，frán stora sammankoplade system och IoT-enheter to de minsta delarna av hárdvara där tillförlitlighet，säkerhet，prestanda och effektivitetär nyckeln。

Forskar páinterakitionen mellan människor och produkter där information中央政府。Inom mjukvaruteknik用于编织Inom utvecklingen av komplexa mjukvarus系统och mjukvaluintensiva系统。

Hur kan vi vara säkra páatt livsviktiga数据系统som an vänds inom s jukvárden，i bilar eller，直到och med i rymdfarkoster inte kraschar？Och hur kan vi garantera vár integritet i dagens digitala samhálle？德塔·福斯卡·尼尔·皮特曼和亚历杭德罗·鲁索姆。霍尔德姆贝拉塔是罪魁祸首。