Instytut Informatyki Uniwersytetu Wrocławskiego

19/06/2026

Wsparcie finansowe dla olimpijczyków

W roku akademickim 2026/27 każdy przyjęty na I rok studiów jako olimpijczyk może otrzymać następujące rodzaje wsparcia:

🔹Stypendium wydziałowe - 1 500 zł/mies. przez pierwsze 5 miesięcy (jesień 2026). Łącznie to 7 500 zł na start.
🔹Stypendium rektora UWr - ok. 1 000 zł/mies.
🔹Stypendium Miasta Wrocławia (WCA) - 1 000 zł/mies.

Razem: 3500 zł/mies.

Co planujemy potem?

🔹 Po pierwszym semestrze mamy w planach dodatkowe formy wsparcia - granty badawcze, współpracę z tutorami lub kontynuację stypendiów.

Dla kogo?

🔹 Stypendium wydziałowe i WCA - przyjęci na I rok studiów I stopnia na Wydziale Matematyki i Informatyki jako olimpijczycy - lista uprawniających olimpiad i konkursów w opisie każdego z kierunków na stronie rekrutacji UWr.
🔹 Stypendium rektora - laureaci olimpiady międzynarodowej, laureaci i finaliści olimpiady stopnia centralnego dla uczniów szkół ponadpodstawowych, o których mowa w przepisach o systemie oświaty.

Pytania?

Chętnie odpowiemy na wszelkie pytania dotyczące stypendiów i rekrutacji - napisz do nas lub przyjdź porozmawiać!

17/06/2026

Adam Górkiewicz ma 24 lata i jest jednym z najbardziej obiecujących młodych naukowców-informatyków na Uniwersytecie Wrocławskim. Na koncie ma medale mistrzostw w programowaniu zespołowym i 5 publikacji na czołowych światowych konferencjach z informatyki teoretycznej.

Zapraszamy do przeczytania tekstu, który poświęciły mu Wrocławskie Fakty (link w komentarzu).

15/06/2026

Narodowe Centrum Nauki ogłosiło laureatów konkursu grantowych OPUS oraz SONATA.

W konkursie OPUS dofinansowanie w wysokości 1,3 mln zł otrzymał projekt Piotra Ostropolskiego-Nalewai pt. „Szturm w głębiny: Wiele Hipotez i Otwartych Problemów Symbolicznej SI". W konkursie SONATA pierwsze miejsce zajął projekt Krzysztofa Sornata „Optymalizacja Kombinatoryczna dla Kolektywnego Wyboru Obiektów”. Wysokość dofinansowania wyniesie 1,2 mln zł.

Projekt Piotra bada fundamentalne zagadnienia leżące u podstaw symbolicznej sztucznej inteligencji – gałęzi AI opartej na logice, formalnym rozumowaniu oraz precyzyjnych modelach matematycznych, stojących w naturalnym przeciwieństwie do metod uczenia maszynowego. Jego głównym celem jest lepsze zrozumienie granic automatycznego wnioskowania: tego, jakie rodzaje wiedzy mogą być reprezentowane w sposób formalny oraz które pytania mogą być rozstrzygane przez algorytmy w sposób niezawodny i przewidywalny.

Projekt Krzysztofa dotyczy algorytmicznych aspektów podejmowania decyzji zbiorowych, w szczególności sytuacji, w których na podstawie preferencji wielu uczestników należy wybrać nie pojedynczego zwycięzcę, ale cały zbiór obiektów — np. komitet, zestaw projektów w budżecie obywatelskim, grupę rekomendowanych elementów albo walidatorów w systemach blockchain. Badania będą łączyć narzędzia obliczeniowej teorii wyboru społecznego i optymalizacji kombinatorycznej. Celem projektu jest zrozumienie, jakie gwarancje sprawiedliwości, proporcjonalności, odporności i jakości rozwiązań można pogodzić z wydajnością obliczeniową.

Piotr Ostropolski-Nalewaja obronił doktorat na Uniwersytecie Wrocławskim w 2024. Odbył staż na Politechnice w Dreźnie, a obecnie jest pracownikiem naszego instytutu. Jest laureatem Nagrody Lipskiego oraz stypendium Start Fundacji na Rzecz Nauki Polskiej.

Krzysztof Sornat obronił pracę doktorską na Uniwersytecie Wrocławskim w 2019 roku. W ostatnim czasie odbywał staże i pracował m.in. na MIT, Uniwersytecie Ben-Guriona oraz AGH. Jest laureatem stypendium Start Fundacji na Rzecz Nauki Polskiej. Projekt będzie realizował na Uniwersytecie Wrocławskim.

Uniwersytet Wrocławski

13/06/2026

03/06/2026

Zapraszamy do przeczytania wywiadu Michała Karbowiaka z prof. Leszkiem Pacholskim, opublikowanego na portalu Polish Tech Minds. Leszek Pacholski był wieloletnim dyrektorem naszego instytutu oraz rektorem Uniwersytetu Wrocławskiego w latach 2005–2008.

18/05/2026

🌍 VLDB Summer School 2026 - czołowi światowi eksperci baz danych na Uniwersytet Wrocławski.

W dniach 10-13 sierpnia 2026 Instytut Informatyki Uniwersytetu Wrocławskiego będzie gospodarzem VLDB Summer School -międzynarodowej szkoły letniej poświęconej tematowi „Sustainability of Very Large Databases", skierowanej do studentów studiów magisterskich i doktoranckich z całego świata.

Przez cztery dni uczestnicy wezmą udział w wykładach, tutorialach i sesji posterowej, podczas której zaprezentują swoje prace badawcze i otrzymają informację zwrotną od ekspertów.

Zajęcia poprowadzą między innymi:
🔹Antoine Amarilli, INRIA Lille
🔹Oana Balmau, McGill University
🔹Carsten Binnig, Technical University of Darmstadt
🔹Khuzaima Daudjee, University of Waterloo
🔹Michal Friedman ETH Zurich
🔹Srinivasan Keshav, University of Cambridge
🔹Wolfgang Lehner, Dresden University of Technology
🔹Viktor Leis, Technical University of Munich

Rekrutacja jest selektywna (ok. 40 miejsc), zgłoszenia przyjmowane są do 5 czerwca 2026.

Organizatorzy: Tilmann Rabl (HPI / Uniwersytet w Poczdamie), Sarah Kleest-Meißner (HPI) oraz Piotr Wieczorek (Uniwersytet Wrocławski).

17/05/2026

🏆 Drużyny studentów Instytutu Informatyki UWr na dwóch pierwszych miejscach on-site w zawodach Break The Syntax CTF 2026! 🏆

Drużyna studentów UwUrr zajęła pierwsze miejsce w klasyfikacji on-site oraz piąte miejsce globalnie (na 342 drużyny z całego świata) w 7. edycji Break The Syntax CTF, organizowanej przez KN White Hats na Politechnice Wrocławskiej. Drużyna startowała w składzie: Grzegorz Kodrzycki, Paweł Kojma i Patryk Zieliński i rozwiązała wszystkie zadania oprócz jednego.

Drugie miejsce on-site (i szóste globalnie) wywalczyli Artur Bieniek, Maksymilian Gojło oraz Igor Hańczaruk.

CTF (Capture The Flag) to zawody, w których drużyny rywalizują w rozwiązywaniu zadań z cyberbezpieczeństwa, od kryptografii i inżynierii wstecznej po eksploatację podatności.

Gratulujemy! 👏

Uniwersytet Wrocławski

15/05/2026

🎓 30 lat Wydziału Matematyki i Informatyki Uniwersytetu Wrocławskiego!

12 czerwca 2026 świętujemy okrągłą rocznicę powstania naszego Wydziału. Serdecznie zapraszamy wszystkich absolwentów oraz byłych i obecnych pracowników.

W programie m.in.:
👉 wręczenie nagrody im. Andrzeja Hulanickiego
👉 podsumowanie 30 lat Wydziału
👉 wystąpienie (zdalne) Łukasza Kaisera, naszego absolwenta, współtwórcy architektury Transformera (czyli "T" w skrócie GPT)
👉 bankiet

📍 Sala 25, Instytut Informatyki UWr, ul. Joliot-Curie 15, Wrocław
🕒 Start: 15:15

To wyjątkowa okazja, by spotkać się po latach, powspominać i zobaczyć, dokąd zaprowadziły nas wspólne lata na Wydziale

👉 Link do rejestracji w komentarzu (prosimy o wcześniejsze zgłoszenie).

Do zobaczenia!

Uniwersytet Wrocławski

13/05/2026

Zawody programistyczne KrasnalCodingCup już w sobotę, 30 maja, w Instytucie Informatyki Uniwersytetu Wrocławskiego!

Organizatorzy - Paulina Żeleźnik, Artur Kraska i Antoni Buraczewski - zapraszają uczniów szkół podstawowych i średnich do startu w nietypowej formule, która pozwala wybrać własną ścieżkę rozwiązywania zadań.

Szczegóły i rejestracja na stronie: https://solve.edu.pl/
Rejestracja do udziału stacjonarnego: do 17 maja.

Rekrutacja UWr
Uniwersytet Wrocławski

06/05/2026

Prace badaczy z Instytutu Informatyki Uniwersytet Wrocławski zostały przyjęte na czołowe światowe konferencje ze sztucznej inteligencji i uczenia maszynowego.

➡️ Praca Mikołaja Słupińskiego i Piotra Lipińskiego „RED-HDP-HMM: Observation-Dependent Durations for Bayesian Nonparametric Sequential Models” została przyjęta na w Seulu jako (top 2,2% zgłoszeń). Autorzy rozszerzają klasyczne modele HDP-HMM o mechanizm, w którym czas trwania ukrytych faz zależy od wcześniejszych obserwacji. Model sam odkrywa liczbę ukrytych faz w danych i uczy się, jak kontekst wpływa na ich długość. Skuteczność podejścia potwierdzono zarówno teoretycznie, jak i eksperymentalnie - m.in. na danych behawioralnych i neuronalnych.

➡️ Praca Jakuba Kopystiańskiego i Jana Otopa „Learning Tree Automata with Term Rewriting” została przyjęta na w Bremie. Autorzy proponują nowe podejście do automatycznej generacji automatów przetwarzających dane ustrukturyzowane (takie jak np. JSON), łącząc dwa przeciwstawne nurty: indukcyjny, w którym automat jest iteracyjnie ulepszany aż do uzyskania pożądanego wyniku, oraz dedukcyjny, w którym automat generowany jest bezpośrednio ze specyfikacji.

Gratulacje!