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