Witold Jarnicki
Jestem projektantem algorytmów dla komputerów kwantowych i w swojej codziennej pracy zajmuję się przekładaniem formalnych modeli matematycznych na procedury możliwe do implementacji w środowisku obliczeń kwantowych. Tytuł doktora nauk matematycznych uzyskałem na Wydziale Matematyki i Informatyki Uniwersytetu Jagiellońskiego, gdzie następnie pracowałem jako asystent i adiunkt. Moje prace badawcze dotyczyły algebry komputerowej, analizy zespolonej oraz geometrii algebraicznej. Równolegle rozwijałem zainteresowania informatyczne, biorąc udział w międzynarodowych konkursach. Dzięki zdobytemu doświadczeniu mogłem pracować w firmie Google, gdzie przez osiem lat pełniłem funkcję w zespołach infrastruktury (m.in. przetwarzając dane dotyczące zużycia zasobów przez komputery w centrach danych) i reklam (m.in. trenując modele machine learningowe dotyczące interakcji z klientami). Następne dwa lata spędziłem w firmie Corvil, rozwijając oprogramowanie urządzeń dogłębnie analizujących ruch sieciowy. Aktualnie pracuję w firmie BEIT w obszarze quantum computing, gdzie rozwijam swoje zainteresowania oraz pasje.

Katarzyna Rajtar
Absolwentka informatyki analitycznej i językoznawstwa ogólnego na Uniwersytecie Jagiellońskim. Autorka tomików wierszy i powieści. W czasie studiów aktywnie angażowała się w prowadzenie Jagiellońskich Warsztatów Olimpijskich dla licealistów i licealistek, a w wakacje odbywała zagraniczne staże w firmie Microsoft w Czechach i USA. Obecnie pracuje jako programistka w krakowskim oddziale amerykańskiej firmy Pegasystems. Jej najnowsza książka “Dziewczyny IT” porusza tematy łączenia macierzyństwa, pracy i pasji.

Dawno, dawno temu żyła sobie księżniczka i żył sobie książę, i wszyscy wiedzieli, że są oni sobie pisani. A jak to w bajkach bywa żyli długo, ale... niekoniecznie szczęśliwie, bo okazało się, że książę jest wielkim bałaganiarzem, a księżniczka ma przysłowiowe "muchy w nosie" i z byle powodu się obraża. Jakże by ta bajka mogła się inaczej skończyć, gdyby tych dwoje znało pojęcie algorytmu i wykorzystało je do znalezienia odpowiedniego partnera. Na warsztatach oswoimy pojęcie algorytmu i poszukamy optymalnego sposobu na dopasowanie najbardziej nawet bałaganiących książąt i najbardziej chimerycznych księżniczek.

Doktor habilitowany nauk ścisłych i przyrodniczych w dziedzinie informatyka. W pracy naukowej koncentruje się na zagadnieniach dotyczących informatyki teoretycznej, jak i kombinatoryki i teorii grafów.

Podczas warsztatów uczestnicy poznają metody symulowania ruchu drogowego oraz narzędzia wykorzystywane do analizy jego dynamiki. Zajęcia rozpoczną się od prostych modeli, a następnie stopniowo przejdą do coraz bardziej złożonych sieci drogowych od regularnych układów generowanych komputerowo po realistyczne scenariusze dużych miast. Na praktycznych przykładach zostanie pokazane, jak niewielkie zmiany w zachowaniu uczestników ruchu lub w organizacji infrastruktury mogą prowadzić do znaczącego wydłużenia czasów przejazdu. Uczestnicy zapoznają się z narzędziami takimi jak internetowa platforma traffic-simulation.de oraz program SUMO (Simulation of Urban Mobility). W trakcie warsztatów omówiona zostanie idea połączonych pojazdów autonomicznych. Przedstawione zostaną zarówno potencjalne korzyści, jak i zagrożenia wynikające z ich wdrażania, ze szczególnym uwzględnieniem wpływu na rozwój miast przyszłości.

Absolwent matematyki stosowanej na Uniwersytecie Jagiellońskim. Obecnie asystent badawczy w projekcie ERC Starting Grant COeXISTENCE – Playing urban mobility games with intelligent machines, którego celem jest identyfikacja i ograniczanie konfliktów między ludźmi a inteligentnymi systemami w kontekście mobilności miejskiej. Jego zainteresowania badawcze obejmują zastosowania sztucznej inteligencji m.in. w projektowaniu nowych leków, optymalizacji ruchu drogowego oraz ochronie infrastruktury krytycznej przed zagrożeniami.