DZIAŁALNOŚĆ NAUKOWA
- Metody formalnej weryfikacji specyfikacji.
- Modelowanie systemów sterowania.
- Weryfikacja modelowa.
DZIAŁALNOŚĆ DYDAKTYCZNA
- Modelowanie i implementacja systemów cyber-fizycznych.
- Nowoczesne projektowanie aplikacji internetowych.
- Projektowanie zintegrowanych systemów cyber-fizycznych.
- Sterowanie procesami dyskretnymi.
- Systemy zdarzeniowe.
- Zarządzanie małym i średnim przedsiębiorstwem.
DYPLOMOWANIE
Proponowane zagadnienia (ogólnie, Informatyka):
- User Experience
- Sieci Petriego
- Formalna weryfikacja
- Weryfikacja modelowa
- Definiowanie wymagań
Proponowane tematy prac dyplomowych – studia I stopnia (Informatyka):
- Aplikacja mobilna do inwentaryzacji sprzętu wewnątrz firmy
z wykorzystaniem kodów QR.
- Aplikacja mobilna do zarządzania prowadzeniem budowy domu metodą gospodarczą.
- Aplikacja webowa do tworzenia i wizualizacji sieci Petriego.
Proponowane zagadnienia prac dyplomowych – studia II stopnia (Informatyka):
- Systematyczny przegląd literatury (wraz z analizą) na zadany temat.
- Wykorzystanie metodyki projektowania UX do konkretnych celów.
- Aspekty weryfikacji modelowej (opracowanie metod, analiza).
PUBLIKACJE
