Talks #8: DSPy i kryptografia post-kwantowa

Agenda:
📌 Riccardo Belluzzo: Introducing DSPy - Programming—not prompting—Foundation Models 🇬🇧
📌 Bartosz Naskręcki: Kryptografia post-kwantowa - cicha rewolucja w kryptologii 🇵🇱
🎲 Quiz z nagrodami
📬 Ogłoszenia uczestników (w trakcie zapisów do quizu)
🍕 Pizza i networking

🌍Miejsce: Poznań, Allegro, ul. Wierzbięcice 1B, budynek D

—————————————————————————————

Riccardo Belluzzo: Introducing DSPy - Programming—not prompting—Foundation Models 🇬🇧

Abstract:
It’s 2024 and you are no longer a ML engineer, but a Prompt engineer instead. You miss the good old days, when you were writing deep learning programs in pytorch. In a world (temporary?) dominated by foundation models and prompt-based systems, the DSPy framework offers a fresh perspective: programming, not prompting, your foundation models. In this talk, I'm going to introduce you to the DSPy framework, recently developed by Stanford researchers. Together, we will deep dive into its fundamentals and we will learn how easy, yet elegant, it can be to write an ML "program" using LLMs. Among the most exciting features that we will learn: having an optimizer that can “train” (write) the prompt for a given task instead of you; having an llm-based metric forked in your evaluation loop capable of judging the quality of your program’s execution; and much more.

Link to DSPy: https://github.com/stanfordnlp/dspy

Bio:
Riccardo is an Italian expat living in Poznań. With a degree from the University of Padua, he embarked on his machine learning journey nearly six years ago and is now an NLP expert and Research Engineer at Allegro, specializing in building and deploying Large Language Models at scale. Outside of work, you’ll find Riccardo lighting up the dance floor with Lindy Hop and Charleston, rocking out on his electric guitar, or exploring mountain trails across Italy and Poland.

—————————————————————————————

Bartosz Naskręcki: Kryptografia post-kwantowa - cicha rewolucja w kryptologii 🇵🇱

Abstract:
Ostatnie dwie dekady obfitują w gwałtowny rozwój bardzo zaawansowanych algorytmów kryptograficznych opartych na fundamentalnie trudnych problemach matematycznych.
W latach 1997-2000 NIST wyłonił współczesny standard kryptografii symetrycznej - algorytm AES, który do dziś stanowi fundament naszego bezpieczeństwa w przesyłaniu danych wielkiej skali. Do wygenerowania klucza wymiany potrzebujemy jednak kryptografii asymetrycznej, np. RSA lub wymiany Diffiego-Hellmana. W latach 2016-2024 NIST pracował nad ogłoszeniem kolejnego standardu kryptografii i udało się to 13 sierpnia 2024. W czasie wykładu opowiem jakie fundamentalne pomysły stoją za najnowszym standardem Kyber, w jaki sposób eliminuje on potencjalne zagrożenie atakiem ze strony komputera kwantowego oraz co oznacza dla użytkowników ogłoszenie nowych standardów. Zobaczymy jakie praktyczne implikacje dla funkcjonowania biznesu i gospodarki niesie za sobą wdrożenie nowych standardów kryptograficznych.

Bio:
dr Bartosz Naskręcki, prodziekan ds. rozwoju i współpracy międzynarodowej
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Instutyt Matematyczny Polskiej Akademii Nauk, Centrum Dioscuri w Topologicznej Analizie Danych

Dr Bartosz Naskręcki jest absolwentem Uniwersytetu im. Adama Mickiewicza i specjalizuje się w teorii liczb i geometrii algebraicznej. Doktorat uzyskał na UAM w 2014 r. pod kierunkiem prof. Wojciecha Gajdy. Następnie, do 2016 roku, studiował techniki obliczeniowe związane z uogólnionym twierdzeniem Fermata podczas stażu podoktorskiego w Universität Bayreuth, w Bawarii. W latach 2016-2017 kontynuował swój rozwój naukowy na University of Bristol, gdzie skupił się na metodach matematycznych związanych z geometrią i arytmetyką przestrzeni K3. Po powrocie do Poznania w 2017 roku, podjął dalsze prace w zakresie geometrii arytmetycznej. Dodatkowo, od ponad dwóch lat, współpracuje z prof. Mariuszem Jaskólskim i prof. Zbigniewem Dauterem w dziedzinie krystalografii matematycznej. W latach 2022 i 2023 otrzymał dwukrotnie nagrodę Diamenty Krystalografii przyznawaną przez Komitet Krystalografii PAN.
Z pasją uczy studentów na pograniczu informatyki i matematyki, prowadząc kursy z takich dziedzin jak kryptografia, symboliczne rozwiązywanie problemów matematycznych w języku Python i wykorzystanie dużych modeli językowych w pracy matematycznej oraz programistycznej. Interesuje się wszelkimi aspektami wykorzystania komputerów w przełomowych pracach matematycznych.
Dr Bartosz Naskręcki jest także aktywnym popularyzatorem wiedzy, szczególnie dotyczącej wkładu polskich kryptologów w złamanie szyfru maszyny Enigma. Otrzymał nagrodę Polskiego Towarzystwa Matematycznego dla młodych matematyków za rok 2013, a w 2010 roku został wyróżniony w Konkursie im. Józefa Marcinkiewicza na najlepszą pracę studencką z matematyki.
Obecnie jest członkiem Zarządu Głównego Polskiego Towarzystwa Matematycznego oraz pracuje na UAM oraz w Instytucie Matematycznym Polskiej Akademii Nauk. Tam, w grupie prof. Pawła Dłotko, realizuje projekt badawczy związany z topologiczną analizą danych geometrycznych stosowanych do projektowania materiałów porowatych o specyficznych
strukturach.
Poza nauką jest mężem i ojcem dwójki dzieci. W wolnym czasie jest zapalonym ogrodnikiem, fanatycznym miłośnikiem trawników i hodowcą awokado.