24.X.2024
dr hab. inż. Konstanty Junosza-Szaniawski, prof. PW
O weryfikacji protokołów kryptograficznych
Referat prezentuje podstawowe własności protokołów kryptograficznych, narzędzia do formalnej weryfikacji weryfikacji tychże własności, kilka przykładów klasycznych protokołów oraz przykłady ataków na nie.
21.XI.2024
Piotr Bojaruniec
Model uczenia maszynowego do wspomagania udzielania kredytów bankowych
Przedmiotem seminarium będą modele uczenia głębokiego, w tym modele kwantowe do wspomagania sytuacji decyzyjnych związanych z udzielaniem kredytów bankowych. Omówione zostaną najważniejsze zbiory danych odnoszące się do kluczowych sytuacji decyzyjnych. Ponadto scharakteryzowane będą najważniejsze modele uczenia maszynowego, które cechują się największą efektywnością wykrywania „złych” kredytów. Na tym tle przeprowadzona będzie dyskusja, jakie zalety ma podejście wielokryterialne do treningu modeli, a także czy modele kwantowe są bardziej efektywne niż tradycyjne.