Kommunikations- och beräkningssystem

Forskningen ämne fokuserar på distribuerade automationssystem, cyberfysiska system och Internet of Things, simulering av komplexa distribuerade system, agentbaserade arkitekturer och bioinspirerad kontroll i komplexa industriella infrastruktur, formell semantik av distribuerade system, trådlösa sensornätverk, formell verifiering efter modell-kontroll och automatisk test generation, mjukvara för visuell utveckling av automationssystem och resurseffektiva algoritmer och internationella standarder på detta område, såsom funktionsblock arkitektur IEC 61499, PLC språk IEC 61131-3, IEC 61850, IEC 62.424, och många fler.