Badania prowadzone w Laboratorium Informatyki dotyczą:

• Zastosowania metod formalnych w inżynierii oprogramowania:
  • Projektowanie i formalna specyfikacja systemów czasu rzeczywistego.
  • Modelowanie systemów współbieżnych.
  • Zastosowanie sieci Petriego w modelowaniu systemów czasu rzeczywistego.
  • Specyfikacja własności systemów z wykorzystaniem logik temporalnych oraz weryfikacja modelowa (model checking).
  • Algebra procesów (CCS, CSP, ACP) jako język specyfikacji systemów informatycznych z wykorzystaniem języka wizualnego XCCS oraz weryfikacja poprawności specyfikacji.
  • Zastosowanie technik formalnych, w tym języka LOTOS oraz E-LOTOS, w praktycznych realizacjach procesu projektowego.
  • Metodyki realizacji projektów informatycznych z wykorzystaniem metod formalnych.
  • Modelowanie systemów komputerowych z wykorzystaniem języków UML, SysML.
• Nowoczesnej grafiki komputerowej:
  • Tworzenie nowoczesnej grafiki komputerowej.
  • Techniki budowania trójwymiarowych animacji komputerowych.
  • Modelowanie interaktywnego środowiska wizualnego.
  • Integracja metod sztucznej inteligencji z technikami wizualizacji komputerowej.
• Sztucznej Inteligencji i Inżynierii Wiedzy:
  • Metodologie i narzędzia do projektowania oprogramowania z bazą wiedzy: systemy ekspertowe, inteligentnego sterowania i wspomagania podejmowania decyzji.
  • Metody reprezentacji i wymiany wiedzy.
  • Systemy business rules.
  • Zastosowanie metod inżynierii wiedzy w procesie wytwarzania oprogramowania.
  • Sterowanie robotami mobilnymi z wykorzystaniem bazy wiedzy na przykładzie platformy Lego Mindstorms NXT.
  • Programowanie deklaratywne w języku Prolog.
• Bazy Danych:
  • Rozszerzenie możliwości przetwarzania danych współczesnych systemów zarządzania bazami danych udostępniające funkcjonalność dedukcyjnych baz danych.
• Administracja Siecią i Systemami Komputerowymi:
  • Bezpieczeństwo sieci komputerowych, metody wykrywania oraz przeciwdziałania intruzom.