Tomasz Kisielewski
room 3156
office hours pon. 12-14 i wt. 10-12
Można też umawiać się mailowo na dowolny termin.

Research Interests

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