Moje
zainteresowania naukowe:
Metody projektowania systemów czasu
rzeczywistego
Zastosowaniem metod i języków formalnych do
wspomagania wytwarzania oprogramowania systemów wbudowanych
Zastosowania Kolorowanych Sieci Petriego do
modelowania systemów informatycznych