|
Termin
|
Prelegent
|
Temat prezentacji
|
|
2025.10.01
|
mgr inż. Michał Rokita
|
Jak implementować bezpieczne aplikacje w języku Python
Budowa API HTTP w języku Python wymaga nie tylko dbałości o funkcjonalność, ale szczególnie o bezpieczeństwo i jakość kodu. Często właśnie błędy w walidacji danych, brak spójnych testów, czy niewystarczająca kontrola typów prowadzą do poważnych podatności. Podczas prezentacji pokazane zostanie, jak wykorzystać ekosystem Pythona, aby ograniczyć takie ryzyka już na etapie implementacji. Omówione zostaną techniki bezpiecznego przetwarzania danych z użyciem Pydantic, automatyzacja testów i wykrywanie nietypowych scenariuszy dzięki Pytest i Hypothesis, a także rola testów obciążeniowych realizowanych z pomocą narzędzia Locust w ocenie stabilności aplikacji. Omówione zostaną również narzędzia statycznej analizy kodu, takie jak mypy i ruff. Uczestnicy dowiedzą się, jak łączyć te podejścia, aby budować aplikacje odporne na błędy i łatwiejsze w utrzymaniu, a przede wszystkim bezpieczne w działaniu. |
|
2025.10.22
|
dr hab. inż. Wiktor Daszczuk
|
Redukcja w locie przestrzeni osiągalności oparta na analizie konsekwencji bieżąco wyznaczanej części przestrzeni
W ramach prezentacji zostanie przedstawiony nowy algorytm redukcji przestrzeni osiągalności dla systemów w specyfikacji IMDS (Integrated Model of Distributed Systems). Algorytm działa w locie, jest więc wpleciony w szerszy algorytm wyznaczania przestrzeni. Algorytm może być zastosowany w innych modelach obliczeń rozproszonych, o ile badanymi cechami są:
- zakleszczenie i częściowe zakleszczenie (dotyczące podzbioru procesów),
- możliwa terminacja i częściowa możliwa terminacja,
- nieuchronna terminacja i częściowa nieuchronna terminacja.
W ramach przeprowadzonych badań analizowane były również inne cechy, ale w takim przypadku formuła jest zadana dodatkowym procesem w systemie, dla którego badamy zakleszczenie lub terminację.
|
|
2025.11.12
|
dr inż. Marcin Gregorczyk
Jarosław Morawski
|
Wspólne seminarium Instytytowe i ZBOSK
Nowoczesna platforma dla aplikacji i sztucznej inteligencji:
OpenShift, OpenShift AI i OpenShift Virtualization.
W dynamicznie zmieniającym się świecie IT, gdzie konteneryzacja,
automatyzacja i sztuczna inteligencja stają się fundamentem nowoczesnych
środowisk produkcyjnych, Red Hat OpenShift stanowi kompleksową platformę
umożliwiającą efektywne zarządzanie aplikacjami w chmurze hybrydowej.
Podczas prezentacji przyjrzymy się bliżej możliwościom OpenShift jako
platformy Kubernetes klasy enterprise, a następnie skupimy się na dwóch
kluczowych komponentach, które znacząco rozszerzają jej funkcjonalność:
OpenShift Virtualization – rozwiązaniu, które umożliwia uruchamianie
maszyn wirtualnych obok kontenerów w tym samym klastrze, pozwalając
organizacjom płynnie migrować z tradycyjnych środowisk wirtualnych do
nowoczesnych architektur chmurowych.
OpenShift AI (dawniej Red Hat OpenShift Data Science) – środowisku
ułatwiającemu budowę, trenowanie i wdrażanie modeli uczenia maszynowego
w sposób bezpieczny, skalowalny i zgodny ze standardami MLOps.
Prezentacja będzie prowadzona m.in. przez Jarosława Morawskiego,
eksperta AI firmy Goldenore.
|
|
2025.12.01
|
mgr inż. Grzegorz Mazur
|
RISC-V
Wyjątkowo w poniedziałek w sali 136 w godzinach 13:15-15:00.
|
|
2025.12.10
|
dr inż. Grzegorz Blinowski
|
SEMINARIUM ODWOŁANE
30 lat cyberbezpieczeństwa - nauka i przemysł
Tematyka cyberbezpieczeństwa jest mocno obecna w badaniach naukowych, w ciągu ostatnich 25 lat opublikowano ponad 100 tys. artykułów związanych z cyberbezpieczeństwem. Jenocześnie, niejako "równolegle" istnieje warty ok. 200 mld USD (dane z 2024) stale rosnący rynek rozwiązań cyberbezpieczeństwa dla obszaru "enterprise" (firmy i instytucje z wyłączeniem użytkowników indywidualnych). Jakie w zakresie cyberbezpieczeństwa są relacje świata komercyjnego (enterprise) i świata nauki (scholar)? W jakim stopniu badania naukowe mają wpływ na oferowane produkty komercyjne? Czy "modne" tematy naukowe są jednocześnie "modne" komercyjnie? Czy istnieje relacja odwrotna - tj. jaki jest wpływ obszaru komercyjnego na kierunek badań naukowych? Na te (i nie tylko te) pytania postaram się w pewnym zakresie odpowiedzieć korzystając z analizy rynku, analizy publikacji oraz analizy patentów.
|
|
2026.01.28
|
Arkadiusz Zdanowski
(dyplomant dr. inż. I. Bluemke)
|
Experiment evaluating configurations of AWS Lambda functions
Serverless computing has emerged as a significant paradigm in cloud computing, enabling scalable and cost-efficient execution of event-driven workloads, known as Function-as-a Service (FaaS). Among the leading FaaS platforms, AWS Lambda is the most widely used. Optimizing it for performance and cost is challenging, due to numerous configuration parameters. We developed a tool which we used in experiments examining different configurations and processors architectures for several algorithms. In this paper one of such experiments is presented in details. Keywords— serverless computing, Function-as-a-Service, Amazon Web Services, AWS Lambda component
|
|
2026.02.25
|
mgr inż. Witold Wysota
|
Statyczna refleksja w C++26
|
|