Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Powrót do listy

Radosław Piórkowski - nadanie stopnia doktora

Tame the Infinite - Simplification Problems for Infinite-State Systems (Oswoić nieskończone - problemy upraszczania dla systemów nieskończenie stanowych)

Afiliacja: 
Uniwersytet Warszawski
W zakresie: 
informatyki
Data nadania: 
2022-10-27
Data obrony: 
2022-10-12 12:00
Sala: 
2180
Promotor: 
prof. dr hab. Sławomir Lasota (Uniwersytet Warszawski), promotor pomocniczy: dr hab. Wojciech Czerwiński (Uniwersytet Warszawski)
Recenzenci: 
dr hab. Jakub Michaliszyn (Uniwersytet Wrocławski), prof. Stefan Göller (Universität Kassel)