28 grudnia 2016 11:00
Nagroda za pracę magisterską
Nasz absolwent Paweł Wieczorek dostał trzecią nagrodę w konkursie Polskiego Towarzystwa Informatycznego na najlepszą pracę magisterską w 2015/16 roku.
Tytuł pracy: "Formalizacja w systemie Coq algorytmu normalizacji przez ewaluację dla teorii typów Martin-Löfa".
Wyróżnienie otrzymał również inny nasz absolwent, Jakub Tarnawski.
Uroczystość ogłoszenia wyników konkursu oraz wręczenia nagród i wyróżnień odbędzie się 13 stycznia 2017 r. (piątek) o godzinie 12:30 we Wrocławiu, w klubie profesorów Politechniki Wrocławskiej, w budynku głównym przy Wybrzeżu Wyspiańskiego 27, sala 238.