Tomasz Kisielewski
telefon 888977492
email
pokój 3156
dyżur śr. 10-12, 14-16
Można też umawiać się mailowo na dowolny termin.

Zainteresowania badawcze

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