Hoppa direkt till innehållet
printicon

Logic and Applications

Läs mer om forskningsgruppen på den engelska sidan...

I forskningsgruppen ingår Patrik Eklund, Ankica Babic, M.Ángeles Galán, Robert Helgesson, Ulrich Höhle, Mats Johansson, Johan Karlsson, Jari Kortelainen and Magnus Löfstrand.

Projekt
Projekt

Projekt inom forskningsgruppen Logic and Applications.

Publikationer
Publikationer

Publikationer från forskningsgruppen Logic and Applications.

Nyheter

Sex miljoner till forskning om social AI och stresshantering
Publicerad: 12 sep, 2019

Helena Lindgren leder nytt projekt inom programmet WASP-HS – hur AI påverkar samhället och våra beteenden.

Hur man styr energihungriga datormoln
Publicerad: 28 aug, 2019

Jakub Krzywda utvecklar modeller för energiförbrukning hos IT-infrastrukturer och applikationers prestanda.

Forskningsprogram om sociala medier, sociala nätverk och beteendeförändringar
Publicerad: 28 aug, 2019

Hur hälsa och träning kan stärkas med sociala medier är frågan för forskningsprogrammet STAR-C.

Prisad för forskning om navigation med mobilen
Publicerad: 14 aug, 2019

Prisad för studie om hur mobilens karta påverkar människan.

AI-professor huvudtalare på världskonferens i Umeå
Publicerad: 26 jun, 2019

Virginia Dignum talar på teknikkonferensen som är anordnad av WFE, branschorganisation för världens börser.