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

Michał Szynwelski - nadanie stopnia doktora

A Functional Programming Language for Sets with Atoms (Funkcyjny język programowania dla zbiorów z atomami)

Afiliacja: 
Uniwersytet Warszawski
W zakresie: 
informatyki
Data nadania: 
2022-12-15
Data obrony: 
2022-12-08 14:15
Sala: 
(obrona w tybie zdalnym)
Promotor: 
prof. dr hab. Bartosz Klin (University of Oxford)
Recenzenci: 
dr hab. Dariusz Biernacki, prof. UWr (Uniwersytet Wrocławski), prof. dr hab. Paweł Urzyczyn (Uniwersytet Warszawski)