dr hab. inż. Paweł T. Wojciechowski, prof. PP
profesor uczelni
pawel.t.wojciechowski@put.poznan.pl
+48 61 665 3021
pokój L.1.6.5 (budynek A23)
Jestem profesorem uczelnianym w Instytucie Informatyki na Politechnice Poznańskiej, gdzie kieruję Pracownią Systemów Współbieżnych. Moje zainteresowania badawcze obejmują współbieżność, obliczenia rozproszone, modele spójności, pamięć transakcyjną, projektowanie języków programowania, systemy typów i weryfikację programów. Obroniłem doktorat na University of Cambridge. Byłem postdokiem na Uniwersytecie w Cambridge i na Ecole Polytechnique Federale de Lozanne (EPFL). Byłem promotorem czterech obronionych doktoratów. Więcej szczegółów można znaleźć na mojej stronie: https://www.cs.put.poznan.pl/pawelw/
Prowadzę wykłady z dwóch przedmiotów:
- "Programowanie systemowe i współbieżne" (dla studentów drugiego roku informatyki)
- "Metody bezpiecznego programowania" (dla studentów pierwszego roku studiów magisterskich na specjalności "Systemy rozproszone i chmurowe").
Celem pierwszego kursu jest wprowadzenie koncepcji kontroli współbieżności i ich implikacje dla projektowania i wdrażania systemów, mające na uwadze obecne architektury komputerowe. Przykładowe tematy obejmują: wzajemne wykluczenie, synchronizacja warunkowa, sprzętowe instrukcje synchronizacji, słabe modele pamięci, zakleszczenie, bariery, zamki z aktywnym czekaniem, read-copy update (RCU), semafory, monitory, pamięć transakcyjna i programowanie bez blokowania. Natomiast kurs "Metody bezpiecznego programowania" przedstawia zaawansowane tematy programowania współbieżnego i rozproszonego, ze szczególnym uwzględnieniem poprawności, weryfikacji programu i optymalizacji. Na powiązanym kursie laboratoryjnym uczę programowania funkcjonalnego na przykładzie języka OCaml. Prowadzę również zajęcia z laboratorium systemów operacyjnych dla studentów 1 roku informatyki.