Tomasz Kisielewski
pokój 3156
dyżur pon. 12-14 i wt. 10-12
Można też umawiać się mailowo na dowolny termin.

Zainteresowania badawcze

  • automatyczne dowodzenie
  • weryfikacja formalna
  • teoria decyzji
  • sztuczna inteligencja