Serdecznie zapraszamy na wykład, który wygłosi Dr Duong Nguyen reprezentujący Uniwersytet z Wyoming, USA.
„Resilient distributed systems”
Data: 15/05/2026
Godz.: 11.45 - 15.00
Miejsce: Biblioteka Techniczna, Piotrowo 2, sala L.02.10 (parter)
Język prowadzenia wykładu: angielski
Streszczenie:
Zapewnienie, że program zachowuje się zgodnie z zamierzeniami projektanta jest zarówno fundamentalnym wymogiem, jak i poważnym wyzwaniem. Nawet w przypadku tradycyjnych programów sekwencyjnych proces ten może wymagać zbadania przestrzeni o dużej objętości. W systemach rozproszonych wyzwanie to jest dodatkowo potęgowane przez czynniki pozostające poza kontrolą projektanta, w tym awarie komponentów i niepewność komunikacji.
Pomimo tych trudności, krytyczne systemy rozproszone stanowią podstawę większości współczesnej infrastruktury – od sieci komunikacyjnych i transakcji online po zarządzanie i monitorowanie ruchu. Dlatego projektowanie prawidłowych systemów rozproszonych jest nie tylko pożądane, ale stało się praktyczną koniecznością.
Część 1: Podstawy i modele błędów w systemach rozproszonych.
Niniejszy wykład wyjaśnia nieuchronność błędów w praktycznych systemach rozproszonych i omawia typowe typy błędów. Następnie opracowujemy formalne ramy modelowania błędów, wykonywania programów i pożądanych właściwości poprawności, stanowiące podstawę rygorystycznego projektowania systemów.
Część 2: Mechanizmy i strategie tolerancji błędów.
W ramach kontynuacji pierwszego wykładu, w tej sesji zostaną omówione algorytmiczne i architektoniczne podejścia do wykrywania błędów i tolerowania ich, takie jak protokoły stanowiące podstawę działania protokołu TCP, automatyzacja dodawania tolerancji błędów do istniejącego programu oraz samostabilizacja.
Nota o prelegencie:
Dr Duong Nguyen jest adiunktem na Uniwersytecie Wyoming. Uzyskał tytuł licencjata, magistra, doktora i odbył staż podoktorski odpowiednio na Uniwersytecie Nauki i Technologii w Hanoi, Uniwersytecie Purdue, Uniwersytecie Stanowym Michigan i Uniwersytecie Georgetown.
Jego zainteresowania badawcze obejmują obliczenia i systemy rozproszone (w tym przetwarzanie w chmurze i rozproszone uczenie maszynowe), monitorowanie środowiska wykonawczego, odporność na błędy, samostabilizację i metody formalne. Jego obecne projekty badawcze koncentrują się na projektowaniu wydajnych i odpornych rozwiązań algorytmicznych dla rozproszonych obliczeń grafowych na dużą skalę i rozproszonego uczenia maszynowego w niepewnych i dynamicznych środowiskach.
Jego prace zostały opublikowane w wiodących czasopismach poświęconych przetwarzaniu rozproszonemu, takich jak „IEEE Transactions on Parallel and Distributed Systems” (IF 6.0), „Distributed Computing” (IF 2.1), a także na prestiżowych konferencjach, takich jak „International Conference on Distributed Computing and Networking”, „International Symposium on Reliable Distributed Systems” i „Runtime Verification”. Jego badania zostały dofinansowane przez NSF i NASA.