Studia w Instytucie Informatyki wspominam bardzo dobrze, ponieważ pozwoliły mi zdobyć gruntowną wiedzę i poznać fascynujący świat informatyki. W 2003 r. uzyskałem tytuł magistra, po czym zaproponowano mi pracę na stanowisku asystenta w Instytucie Informatyki. Dołączyłem do zespołu naukowego prof. Wojciecha Penczka i pracowaliśmy nad rozwojem systemu do weryfikacji własności logik temporalnych w systemach współbieżnych i wieloagentowych Verics.
W 2011 roku obroniłem pracę doktorską w IPI PAN. Kolejne lata to okres wytężonej pracy dydaktycznej i naukowej, liczne publikacje i wyjazdy na konferencje. Moje zainteresowania naukowe oscylowały wokół metod symbolicznych i ich zastosowań w zakresie automatycznej weryfikacji, planowania, optymalizacji i kompozycji usług sieciowych.
W listopadzie 2020 roku zostałem dyrektorem Instytutu Informatyki. Muszę przyznać, że nie jest łatwo podołać wszystkim obowiązkom. Trzeba dać dużo z siebie, ale ta praca przynosi wiele satysfakcji, zwłaszcza gdy obserwuję jak nasi studenci się rozwijają, odnoszą sukcesy i zdobywają nagrody a pracodawcy chwalą naszych absolwentów.