Moje zainteresowania naukowe:

 

blebul1a   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