Členové katedry se zabývají výzkumem v oblasti verifikace software, návrhu a implementace kyber-fyzikálních systémů a v oblasti měření a analýzy výkonnosti software. Katedra zajišťuje také výuku předmětů bakalářského, magisterského i doktorského studia.