Aktualności
Nagroda IM PAN za wybitne osiągnięcia dla Damiana Osajdy Laureatem Nagrody Instytutu Matematycznego Polskiej Akademii Nauk w 2020 r. został dr Damian Osajda z Instytutu Matematycznego za wybitne osiągnięcia w dziedzinie geometrycznej teorii grup. W uzasadnieniu przyznania nagrody Damianowi Osajdzie czytamy: ” Jest jednym z najlepszych na świecie specjalistów młodego pokolenia w geometrycznej teorii grup. […]
Dwa stypendia w projekcie Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne W ramach projektu NCN Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne kierowanego przez prof. Witolda Charatonika można ubiegać się o dwa stypendia doktoranckie. Wymagania: Status doktoranta na Wydziale Matematyki i Informatyki Uniwersytetu Wrocławskiego. Dobra znajomość asystenta dowodzenia twierdzeń Coq. Znajomość maszyn abstrakcyjnych dla języków programowania. Motywacja […]
