Grants
-
Online algorithms for configuration games
Principal investigator: prof. Marcin Bieńkowski
Funded by Polish National Science Centre
2023-2027 -
The power of branching and learning for online scheduling and bin packing problems
Principal investigator: dr Martin Böhm
Funded by Polish National Science Centre
2023-2026 -
Od silnych logik deskrypcyjnych do fragmentów logiki pierwszego rzędu z wieloma zmiennymi: wnioskowania w strukturach skończonych
Kierownik: dr hab. Emanuel Kieroński
Okres realizacji: 2022-2026
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Wnioskowanie ilościowe odporne na perturbacje
Kierownik: dr Jakub Michaliszyn
Okres realizacji: 2021-2025
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Wydajne algorytmy rozproszone i równoległe dla dużych i dynamicznych danych
Kierownik: prof. dr hab. Tomasz Jurdziński
Okres realizacji: 2021-2024
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Leveraging Randomization: From Scheduling to AdWords
Principal investigator: dr Łukasz Jeż
Funded by Polish National Science Centre
2021-2025 -
Algorithms for connectivity under uncertainty
Principal investigator: prof. Jarosław Byrka
Funded by Polish National Science Centre
2021-2025 -
Algebraiczne techniki zrównoleglania algorytmów
Kierownik: dr Przemysław Uznański
Okres realizacji: 2020-2023
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Odkrywanie ukrytej struktury danych na podstawie obserwacji
Kierownik: dr hab. Jan Chorowski/ dr hab. Piotr Wnuk-Lipiński
Okres realizacji: 2020-2023
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Maszyny abstrakcyjne dla języków programowania: podejście derywacyjne
Kierownik: prof. dr hab. Witold Charatonik
Okres realizacji: 2020-2023
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Combinatorial optimization under uncertainty: matroids, matchings and submodular functions
Principal investigator: dr Marek Adamczyk
Funded by Polish National Science Centre
2020-2023 -
Combinatorial optimization through the lens of the traveling salesman route and matchings
Principal investigator: dr hab. Katarzyna Paluch
Funded by Polish National Science Centre
2019-2022 -
Projektowanie algorytmów rozproszonych dla silnie obciążonych sieci
Kierownik: dr hab. Tomasz Jurdziński
Okres realizacji: 2018-2022
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Wybrane zagadnienia kompresji gramatykowej
Kierownik: dr hab. Artur Jeż
Okres realizacji: 2018-2023
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Algorithmic techniques for solving social and economic issues
Principal investigator: mgr Krzysztof Sornat
Funded by Polish National Science Centre
2018-2019 -
Algorytmiczna optymalizacja online dla problemów grafowych
Principal investigator: dr hab. Marcin Bieńkowski
Funded by Polish National Science Centre
2017-2023 -
Online algorithms for packing and covering problems
Principal investigator: mgr Maciej Pacut
Funded by Polish National Science Centre
2017-2018 -
Algebraic Effects and Continuations
Leader: Maciej Piróg
Funding agency: Polish National Science Centre
Time frame: 2017–2019 -
Scalable reasoning about imperative concurrent programs
Leader: Filip Sieczkowski
Funding agency: Polish National Science Centre
Time frame: 2017–2020 -
Throughput Maximization Problems
Principal investigator: dr Łukasz Jeż
Funded by Polish National Science Centre
2017-2020 -
Application of modern algorithmic methods for solving NP-hard clustering problems
Principal investigator: mgr Krzysztof Sornat
Funded by Polish National Science Centre
2016-2019
-
Zastosowanie logiki z funkcjami częściowymi - Kierownik: dr hab Jean Marie de Nivelle
Okres realizacji: 2016-2019
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Algorithmic fundamentals of supply chain networks
Principal investigator: dr hab. Jarosław Byrka
Funded by Polish National Science Centre
2016-2021 -
Audioscope - system do automatycznego wyszukiwania treści w nagraniach w języku polskim metodą hybrydową - Kierownik: dr Paweł Rychlikowski
Okres realizacji: 2015-2017
Projekt realizowany w ramach Programu Badań Stosowanych Narodowego Centrum Badań i Rozwoju
-
Problemy komunikacyjne w bezprzewodowych sieciach sensorowych - Kierownik: mgr Michał Rożański
Okres realizacji: 2015-2018
Projekt badawczy finansowany przez Narodowe Centrum Nauki -
Automaty z wagami dla własności kwantytatywnych - Kierownik: dr Jan Otop
Okres realizacji: 2015-2018
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Zastosowanie rekurencyjnych i głębokich sieci neuronowych do modelowania akustycznego sygnału mowy - Kierownik: dr inż. Jan Chorowski
Okres realizacji: 2015-2018
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Kompresja, logika, języki formalne: nowe podejścia łączące różne dziedziny - Kierownik: dr Artur Jeż
Okres realizacji: 2015-2018
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Metody wnioskowania o programach w językach wyższego rzędu - Kierownik: prof. dr hab. Witold Charatonik
Okres realizacji: 2015-2018
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Logiki do przetwarzania danych i weryfikacji - Kierownik: dr Jakub Michaliszyn
Okres realizacji: 2015-2018
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Online algorithms for fundamental network problems
Principal investigator: dr hab. Marcin Bieńkowski
Funded by Polish National Science Centre
2014-2017 -
Hipoteza BDD/FC i okolice - Kierownik: mgr Tomasz Gogacz
Okres realizacji: 2014-2017
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Synchronizacja automatów i hipoteza Cerny'ego - Kierownik: mgr Marek Szykuła
Okres realizacji: 2014-2016
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Efficient approximation algorithms for finding the optimal traveling salesman tours and related problems
Principal investigator: dr Katarzyna Paluch
Funded by Polish National Science Centre
2014-2017 -
Języki i uczenie w General Game Playing - Kierownik: mgr Jakub Kowalski
Okres realizacji: 2014-2018
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Obliczenia rozproszone w sieciach dynamicznych - Kierownik: dr hab. Tomasz Jurdziński
Okres realizacji: 2013-2016
Projekt badawczy finansowane przez Narodowe Centrum Nauki
-
Konstrukcja i analiza skalowanych algorytmów dla sieci bezprzewodowych - Kierownik: dr hab. Tomasz Jurdziński
Okres realizacji: 2013-2016
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
LP rounding approximation algorithms
Principal investigator: mgr Bartosz Rybicki
Funded by Polish National Science Centre
2013-2016 -
Prototyp serwerowego Systemu Akceleracji zadań Analizy i wizualizacji obrazów mikroskopowych oraz Symulacji przepływów krwi do wykorzystania w biomedycznych systemach teleinformatycznych
Kierownik:prof. Leszek Pacholski
Okres realizacji: 2012-2013
Projekt realizowany wspólnie z firmą Vratis w ramach programu "Innotech" Narodowego Centrum Badań i Rozwoju
-
Struktura i interpretacja języków programowania w paradygmacie "dowody jako programy" - Kierownik: dr Małgorzata Biernacka
Okres realizacji: 2012-2015
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Procedury decyzyjne w weryfikacji - Kierownik: prof. dr hab. Witold Charatonik
Okres realizacji: 2012-2015
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Wokół logik modalnych - rozstrzygalność i złożoność - Kierownik: dr Jakub Michaliszyn
Okres realizacji: 2012-2015
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
GreenNets (Power consumption and CO2 footprint reduction in mobile networks by advanced automated network management approaches)
University of Wrocław coordinator: prof. Leszek Pacholski
University of Wroclaw investigators: dr hab. Marcin Bieńkowski, dr Rafał Nowak
Funded within FP7-SME-2011-BSG
2011-2013 -
Dualne funkcje B-sklejane: konstrukcja i zastosowania - Kierownik: dr hab. Paweł Woźny
Okres realizacji: 2011-2013
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Wydajne algorytmy i reprezentacje w teorii języków formalnych i automatów - Kierownik: dr Artur Jeż
Okres realizacji: 2011-2014
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
COSSAR - Cooperative Spectrum Sensing Algorithms for Cognitive Radio - Stypendysta: Radosław Piesiewicz
Okres realizacji: 2010-2012
Projekt realizowany w ramach programu "Marie Curie Actions - Intra-European Fellowships" (IEF).
-
LP-based approximation algorithms
Principal investigator: dr Jarosław Byrka
Funded by Foundation for Polish Science within Homing Plus programme
2010-2013 -
Online scheduling
Principal investigator: mgr Łukasz Jeż
Funded by Ministry of Science and Higher Education
2010-2011 -
Automaty, gramatyki, równania: minimalizacja i siła wyrazu - Kierownik: dr hab. Tomasz Jurdziński
Okres realizacji: 2010-2012
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Zagadnienia złożoności i rozstrzygalności dla teorii logicznych motywowanych informatyką - Kierownik: prof. dr hab. Jerzy Marcinkowski
Okres realizacji: 2010-2013
Projekt badawczy finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Approximation algorithms under uncertainty
Principal investigator: dr Marcin Bieńkowski
Funded by Ministry of Science and Higher Education
2010-2013 -
Automatyczne wnioskowanie w teoriach równościowych (promotorski) - Kierownik: prof. dr hab. Jerzy Marcinkowski
Okres realizacji: 2009-2010
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Semantyka języków programowania i transformacji programów: derywacje i certyfikacja w teorii typów systemu Coq - Kierownik: dr Dariusz Biernacki
Okres realizacji: 2009-2011
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Analiza kombinatoryczna algorytmów rozproszenia (promotorski) - Kierownik: prof. dr hab. Mirosław Kutyłowski
Okres realizacji: 2008-2010
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Gramatyki koniunkcyjne i układy równań języków (promotorski) - Kierownik: prof. dr hab. Krzysztof Loryś
Okres realizacji: 2008-2010
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Algorytmy aproksymacyjne i online - Kierownik: prof. dr hab. Krzysztof Loryś
Okres realizacji: 2007-2010
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Metody teorii automatów i języków formalnych w problemach wyszukiwania wzorca, weryfikacji bezpieczeństwa systemów, złożoności obliczeniowej oraz w analizie języków naturalnych Kier: dr T. Jurdziński
Okres realizacji: 2006-2008
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Konstrukcja i analiza algorytmów aproksymacyjnych dla grafowych problemów optymalizacyjnych (promotorski) - Kierownik: prof. dr hab. Krzysztof Loryś
Okres realizacji: 2006-2008
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Dynamic networks: exploration and data management
Principal investigator: dr Marcin Bieńkowski
Funded by Ministry of Science and Higher Education
2006-2008 -
Rozstrzygalność pewnych teorii logicznych motywowanych teorią informatyki - Kierownik: dr hab. Jerzy Marcinkowski
Okres realizacji: 2006-2009
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Bezpieczeństwo obliczeń komputerowych - Kierownik: prof. dr hab. Leszek Pacholski
Okres realizacji: 2006-2009
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Edukacja Informatyczna w Polskim Systemie Szkolnym (promotorski) - Kierownik: prof. dr hab. Maciej M. Sysło
Okres realizacji: 2001-2002
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Optymalizacja kosztów obliczeń metod Monte Carlo syntezy obrazów przy zastosowaniu operatorów Minkowskiego i offsetów (promotorski) - Kierownik: prof. dr hab. Leszek Pacholski
Okres realizacji: 2000-2001
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Równoległe i sekwencyjne algorytmy aproksymacyjne dla problemów kombinatorycznych i geometrycznych - Kierownik: prof. dr hab. Krzysztof Loryś
Okres realizacji: 2000-2002
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Zastosowanie pojęcia typów do weryfikacji i certyfikacji programów - Kierownik: prof. dr hab. Leszek Pacholski
Okres realizacji: 2000-2003
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Zastosowanie związków rekurencyjnych w teorii szeregów ortogonalnych - Kierownik: prof. dr hab. Stanisław Lewanowicz
Okres realizacji: 1999-2001
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Synteza poprzez aktywne uczenie się: teoria i zastosowania
Principal investigator: dr hab. Jan Otop
Funded by Polish National Science Centre
2025-2029 -
Wewnątrz Logiki i Rzędu i poza nią. Zagadki teorii baz danych
Principal investigator: prof. Jerzy Marcinkowski
Funded by Polish National Science Centre
2023-2027 -
Przetwarzanie olbrzymich danych testowych i ich uogólnień: algorytmy i warunkowe ograniczenia dolne
Principal investigator: Paweł Gawrychowski, Ph. D.
Funded by Polish National Science Centre
2024-2028 -
Problemy Decyzyjne dla Logik ze Słabymi Formami Rekurencji
Principal investigator: dr Bartosz Bednarczyk
Funded by Polish National Science Centre
2025-2026 -
Jeden krok od modelu relacyjnego. Kilka podstawowych zagadek baz danych
Kierownik: prof. dr hab. Jerzy Marcinkowski
Okres realizacji: 2017-2022
Projekt finansowany przez Narodowe Centrum Nauki
-
Logiki z uogólnionymi kwantyfikatorami zliczającymi dla programów operujących na danych i systemów bazodanowych
Kierownik: Bartosz Bednarczyk
Okres realizacji: 2018-2022
Projekt finansowany przez Ministerstwo Nauki i Szkolnictwa Wyższego
-
Maszyny abstrakcyjne w implementacji języków programowania: podejście derywacyjne
Kierownik: dr hab. Dariusz Biernacki
Okres realizacji: 2021-2022
Projekt badawczy finansowany przez Narodową Agencję Wymiany Akademickiej
-
Automaty skończone: wybrane problemy i zastosowania łączące różne obszary badań
Kierownik: dr Marek Szykuła
Okres realizacji: 2022-2026
Projekt badawczy finansowany przez Narodowe Centrum Nauki
-
Specyfikacje ilościowe: uczenie się, algorytmy i zastosowania
Kierownik: dr hab. Jan Otop
Okres realizacji: 2018-2021
Projekt badawczy finansowany przez Narodowe Centrum NaukiW dzisiejszych czasach systemy informatyczne stanowią nieodłączną część życia. Mimo dużych postępów w dziedzinach inżynierii
oprogramowania i testowania, wciąż napotyka się na różnego rodzaju błędy, zarówno w sprzęcie, jak i w oprogramowaniu. Aby wyeliminować błędy zaproponowano formalną weryfikację, w której dowodzi się poprawności programów i układów cyfrowych. Formalna weryfikacja jest intensywnie badana teoretycznie oraz intensywnie rozwijana w przemyśle: Intel stosuje ją przy tworzeniu procesorów; Microsoft i Facebook stosują ją przy tworzeniu oprogramowania; Bosch stosuje ją przy projektowaniu tempomatów w samochodach. Wiodącą techniką w formalnej weryfikacji jest weryfikacja modeli, w ramach której sprzęt lub oprogramowanie abstrahuje się do uproszczonych struktur, nazywanych \emph{modelami}, celem dokonania weryfikacji ich poprawności.
Weryfikacja modeli daje odpowiedź jakościową: ,,tak'' albo ,,nie''. Pozwala to odpowiadać na pytania w stylu ,,czy serwer odpowie na każde żądanie''. Jednak odpowiedź pozytywna na takie pytanie jest często niewystarczająca, gdyż nie określa, jak szybko serwer odpowie. Dlatego ważne są również aspekty ilościowe, na przykład pytanie ,,jaki jest średni czas pomiędzy żądaniem a odpowiedzią serwera''. Aby móc wnioskować o aspektach ilościowych systemów, stosuje się ilościową weryfikację modeli, w której można zadawać wartości liczbowe oraz otrzymywać liczby jako odpowiedzi. Takie odpowiedzi niosą ze sobą więcej informacji, które lepiej oddają poprawność systemu. Pomimo swoich zalet, ilościowa weryfikacja modeli nie jest używana w praktyce z powodu licznych trudności. Opisywanie własności ilościowych jest trudne, problem weryfikacji własności ilościowych jest obliczeniowo trudny, a interpretacja ilościowych odpowiedzi jest trudna. Celem tego projektu jest zniwelowanie powyższych trudności.
W tym projekcie badawczym postaramy się usprawnić proces ilościowej weryfikacji modeli skupiając się na trzech etapach weryfikacji: specyfikacji własności ilościowych, algorytmach weryfikacji modeli względem własności ilościowych, oraz interpretacji odpowiedzi ilościowych zwracanych w procesie weryfikacji.
Aby uczynić proces tworzenia specyfikacji łatwiejszym dla użytkowników, będziemy badali obliczeniowe uczenie się specyfikacji
oraz języki zadawania specyfikacji. Będziemy badać dwa rodzaje problemów: uczenie \emph{offline}, w którym użytkownik jednorazowo podaje pewną listę przykładów i na ich podstawie generowana jest specyfikacja, oraz uczenie online, w czasie którego algorytm może zadawać użytkownikowi dodatkowe pytania dotyczące słów, a także pytać, czy dana specyfikacja jest taka, jak żądano. Podobne techniki uczenia się z powodzeniem sprawdzają się w klasycznej weryfikacji.
Zakładając, że mamy zadaną specyfikację ilościową, kolejnym krokiem w weryfikacji jest obliczenie jej wartości na danym modelu systemu. Modele często bywają bardzo duże, dlatego ważne jest znajdowanie efektywnych algorytmów do weryfikacji, a w szczególności takich, które korzystają z technik pozwalających operować na mniejszy modelach. W tym projekcie podejmiemy próbę stworzenia takich algorytmów dla weryfikacji ilościowej.
Podobnie jak w oprogramowaniu, błędy mogą się również zdarzać w specyfikacjach. Może to prowadzić do sytuacji, gdy w wyniku
weryfikacji otrzymujemy informację, że nasz system zachowuje się poprawnie, podczas gdy tak nie jest. Planujemy stworzyć narzędzia wspomagające wykrywanie tego typu przypadków. Celem takich narzędzi byłoby wskazywanie użytkownikowi, że jego specyfikacja, na przykład, jest spełniona podejrzanie łatwo lub że wynik procesu weryfikacji nie zależy od dużej części modelu.