Przewody doktorskie
Przewody doktorskie prowadzone w Instytucie Podstaw Informatyki PAN:
- Marcin Plata
- Ilya Hradovich
- Tomasz Steifer
- Artur Męski
- Ashutosh Dhar Dwivedi
- Michał Horodelski
- Konrad Gołuchowski
- Piotr Borkowski
- Mateusz Kopeć
- Karol Marchwicki
- Wojciech Wodo
- Magdalena Ryczkowska
- Łukasz Zaniewicz
- Michał Straus
- Michał Lenarczyk
- Łukasz Górski
- Agata Charzyńska
- Agnieszka Zbrzezny
- Julian Zubek
- Tadeusz Puźniakowski
- Agnieszka Prochenka
- Kamil Kluczniak
- Piotr Such
- Waldemar Bartyna
- Michał Knapik
- Lucjan Hanzlik
- Anna Lauks-Dutka
- Paweł Matykiewicz
- Indrajit Saha
- Robert Kłopotek
- Piotr Przybyła
- Piotr Syga
- Alina Wróblewska
- Tomasz Strumiński
- Michał Koza
MGR INŻ. MARCIN PLATA
MGR INŻ. MARCIN PLATA
Tytuł pracy: Zastosowanie zaawansowanych metod sztucznej inteligencji do wybranych problemów bezpieczeństwa informacji
Promotor:
prof. dr hab. Marek Klonowski, Politechnika Wrocławska
Promotor pomocniczy:
dr inż. Piotr Syga, Politechnika Wrocławska
MGR ILYA HRADOVICH
MGR ILYA HRADOVICH
Tytuł pracy: Efficient communication algorithms in shared channels with adversary
Promotor:
prof. dr hab. Marek Klonowski, Politechnika Wrocławska
Promotor pomocniczy:
prof. dr Dariusz R. Kowalski, Augusta University and SWPS University
MGR TOMASZ STEIFER
MGR TOMASZ STEIFER
Tytuł pracy: Computable prediction of infinite binary sequences with zero-one loss
Promotor:
dr hab. Łukasz Dębowski, prof. IPI PAN, IPI PAN
Promotor pomocniczy:
dr Dariusz Kalociński, IPI PAN
MGR INŻ. ARTUR MĘSKI
MGR INŻ. ARTUR MĘSKI
Tytuł pracy: Model Checking for Reaction and Multi-Agent Systems
Promotor:
prof. dr hab. inż. Wojciech Penczek, IPI PAN
MGR ASHUTOSH DHAR DWIVEDI
MGR ASHUTOSH DHAR DWIVEDI
Tytuł pracy: Cryptanalysis of lightweight ciphers
Promotor: dr hab. Paweł Morawiecki, prof. IPI PAN, IPI PAN
Recenzenci:
MGR MICHAŁ HORODELSKI
MGR MICHAŁ HORODELSKI
Tytuł pracy: Wyznaczanie reprezentatywnego fragmentu współdziałania systemu obiektów
Promotor: prof. dr hab. Józef Winkowski, IPI PAN
Promotor pomocniczy: dr Piotr Filipkowski, Szkoła Główna Handlowa w Warszawie
Recenzenci:
MGR KONRAD GOŁUCHOWSKI
Tytuł pracy: Metoda identyfikacji schematów walencyjnych w tekstach polskich (English: A method of identifying valency schemata in Polish texts)
Promotor: prof. dr hab. inż. Adam Przepiórkowski, IPI PAN
Recenzenci:
MGR PIOTR BORKOWSKI
Tytuł pracy: Metody semantycznej kategoryzacji w zadaniach analizy dokumentów tekstowych
Promotor: prof. dr hab. inż. Mieczysław Kłopotek, IPI PAN
Promotor pomocniczy: dr Krzysztof Ciesielski, IPI PAN
Recenzenci:
MGR MATEUSZ KOPEĆ
Tytuł pracy: Summarization of Polish press articles using coreference
(pl: Streszczanie polskich artykułów prasowych z wykorzystaniem koreferencji)
Promotor: dr hab. Agnieszka Mykowiecka, prof. IPI PAN, IPI PAN
Promotor pomocniczy: dr Maciej Ogrodniczuk, IPI PAN
Recenzenci:
MGR INŻ. KAROL MARCHWICKI
Tytuł pracy: Efektywność i niezawodność w sieciach typu Peer-to-peer
Promotor: dr hab. inż. Marek Klonowski, Politechnika Wrocławska
Promotor pomocniczy: dr Rafał Kapelko, Politechnika Wrocławska
Recenzenci:
MGR INŻ. WOJCIECH WODO
Tytuł pracy: Zastosowanie i ochrona danych biometrycznych przy autoryzacji i identyfikacji
Promotor: prof. dr hab. Mirosław Kutyłowski, Politechnika Wrocławska
Recenzenci:
MGR MAGDALENA RYCZKOWSKA
Tytuł pracy: Opracowanie w modelu PGAS wybranych, równoległych algorytmów grafowych i ich implementacja przy użyciu języka Java
Promotor: prof. dr hab. Piotr Bała, Uniwersytet Warszawski
Recenzenci:
MGR ŁUKASZ ZANIEWICZ
Tytuł pracy: Support Vector Machines for Uplift Modeling
Promotor: dr hab. inż. Szymon Jaroszewicz, prof. IPI PAN, Instytut Podstaw Informatyki PAN
Recenzenci:
MGR INŻ. MICHAŁ STRAUS
Tytuł pracy: Kryptoanaliza funkcji gąbkowej Keccak
Promotor: dr hab. Marian Srebrny, prof. IPI PAN, Instytut Podstaw Informatyki PAN
Recenzenci:
MGR INŻ. MICHAŁ LENARCZYK
Tytuł pracy: Akustyczne i fonetyczne metody przemiany głosu
Promotor: prof. dr hab. Ryszard Tadeusiewicz, Akademia Górniczo-Hutnicza w Krakowie
Recenzenci:
MGR ŁUKASZ GÓRSKI
Tytuł pracy: Adaptacja wybranych równoległych algorytmów do modelu PGAS i ich implementacja w jezyku Java z wykorzystaniem biblioteki PCJ
Promotor: prof. dr hab. Piotr Bała, Uniwersytet Warszawski
Promotor pomocniczy: dr inż. Franciszek Rakowski, Uniwersytet Warszawski
Recenzenci:
MGR AGATA CHARZYŃSKA
Tytuł pracy: Sensitivity analysis in biochemical models
Promotor: prof. dr hab. Anna Gambin, Uniwersytet Warszawski
Recenzenci:
MGR AGNIESZKA ZBRZEZNY
Tytuł pracy: Wybrane metody weryfikacji modelowej wykorzystujące testery SAT i SMT
Promotor: dr hab. Bożena Woźna-Szcześniak, prof. AJD, Akademia im. Jana Długosza w Częstochowie
Recenzenci:
MGR INŻ. JULIAN ZUBEK
Tytuł pracy: Metody integracji wieloskalowej informacji w sztucznych systemach uczących się
Promotor: dr hab. Dariusz Plewczyński, prof. UW, AFILIACJA
Recenzenci:
MGR TADEUSZ PUŹNIAKOWSKI
Tytuł pracy: Równoległe i Rozproszone Obliczenia Ewolucyjne w Poszukiwaniach Morskich
Promotor: {Link zewnętrzny - Otwórz nowe okno i przejdź do strony: } dr hab. Marek Bednarczyk, prof. PJATK, Polsko-Japońska Akademia Technik Komputerowych
Recenzenci:
MGR AGNIESZKA PROCHENKA
Tytuł pracy: Delete or Merge Regressors algorithm
Promotor: {Link zewnętrzny - Otwórz nowe okno i przejdź do: } dr hab. Piotr Pokarowski, prof. UW, Uniwersytet Warszawski
- Streszczenie rozprawy doktorskiej w języku polskim
- Streszczenie rozprawy doktorskiej w języku angielskim
Recenzenci:
MGR KAMIL KLUCZNIAK
Tytuł pracy: Anonymous Authentication Using Electronic Identity Documents
Promotor: Prof. dr hab. Mirosław Kutyłowski, Politechnika Wrocławska
Recenzenci:
MGR INŻ. PIOTR SUCH
Tytuł pracy: Szyfrowanie z użyciem automatów komórkowych dwuwymiarowych
Promotor: dr hab. Marian Srebrny, prof. IPI PAN
- Streszczenie rozprawy doktorskiej w języku polskim [pdf]
- Streszczenie rozprawy doktorskiej w języku angielskim [pdf]
Recenzenci:
MGR WALDEMAR BARTYNA
Tytuł pracy: Współdziałanie w otwartym heterogenicznym systemie wielorobotowym w oparciu o paradygmat SOA
Promotor: dr hab. Stanisław Ambroszkiewicz, prof. IPI PAN
Recenzenci:
- dr hab. inż. Grzegorz Dobrowolski, Akademia Górniczo-Hutnicza im. S. Staszica - Recenzja [PDF]
- prof. dr hab. inż. Mieczysław Kłopotek, IPI PAN - Recenzja [PDF]
MGR INŻ MICHAŁ KNAPIK
Tytuł pracy: Parametryczna Weryfikacja Modelowa
Promotor: prof dr hab. inż. Wojciech Penczek, IPI PAN
Recenzenci:
- prof. Laure Petrucci, Université Paris13 Nord - Recenzja [PDF]
- prof. dr hab. inż. Jan Magott, Politechnika Wrocławska - Recenzja [PDF]
MGR INŻ. LUCJAN HANZLIK
Tytuł pracy: Algorytmy kryptograficzne w nowoczesnych dokumentach tożsamości
Promotor: prof dr hab. Mirosław Kutyłowski, Politechnika Wrocławska
Recenzenci:
- dr hab. Stefan Dziembowski, Uniwersytet Warszawski Recenzja [PDF]
- dr hab. inż. Jerzy Pejaś, ZUT w Szczecinie Recenzja [PDF]
MGR INŻ. ANNA LAUKS-DUTKA
Tytuł pracy:Applied Cryptographic Schemes Based on Discrete Logarithm Problem
Promotor: prof dr hab. inż. Mirosław Kutyłowski
Recenzenci:
- dr hab. Jacek Pomykała, UW Recenzja [PDF]
- Prof. dr hab. Zbigniew Jelonek, profesor Instytutu Matematycznego PAN Recenzja [PDF]
MGR PAWEŁ MATYKIEWICZ
Tytuł pracy: Neurokognitywne podejście do przetwarzania tekstów medycznych
Promotror: prof. dr hab. Włodzisław Duch
Recenzenci:
- dr hab. inż. Szymon Jaroszewicz, prof. IPI PAN Recenzja [PDF]
- dr hab. Hung Son Nguyen, prof. UW Recenzja [PDF]
MGR INŻ. INDRAJIT SAHA
Tytuł pracy: Knowledge Discovery in Biological Data
Promotror: dr hab. Dariusz Plewczyński
Recenzenci:
- dr hab. inż. Piotr Formanowicz, Politechnika Poznańska Recenzja [PDF]
- dr hab. inż. Krzysztof Fujarewicz, Politechnika Śląska Recenzja [PDF]
MGR INŻ. ROBERT KŁOPOTEK
Tytuł pracy: Inwazyjna analiza sieci społecznych
Promotror: dr hab. inż. Krzysztof Trojanowski, IPI PAN
Recenzenci:
- dr hab. inż. Przemysław Kazienko, Politechnika Wrocławska Recenzja [PDF]
- dr hab. Adam Wierzbicki, PJATK Recenzja [PDF]
MGR INŻ. PIOTR PRZYBYŁA
Tytuł pracy: Odpowiadanie na pytania w języku polskim z użyciem głębokiego rozpoznawania nazw
Promotror: dr hab. Agnieszka Mykowiecka, IPI PAN
Recenzenci:
- prof. dr hab. Jerzy Tyszkiewicz, Uniwersytet Warszawski Recenzja [PDF]
- prof. dr hab. Zygmunt Vetulani, UAM Recenzja [PDF]
MGR INŻ. PIOTR SYGA
Tytuł pracy: Algorytmy ochrony informacji dla systemów urządzeń o ogroniczonych możliwościach
Promotror: dr hab. inż. Marek Klonowski, Politechnika Wrocławska
Recenzenci:
- prof. dr hab. inż. Zbigniew Kotulski, Instytut Telekomunikacji PW Recenzja [PDF]
- dr hab. inż. Janusz Stokłosa, Politechnika Poznańska Recenzja [PDF]
MGR ALINA WRÓBLEWSKA
Tytuł pracy: Polish Dependency Parser Trained on an Automatically Induced Dependency Bank
Promotror: dr hab. Adam Przepiórkowski, IPI PAN
- Streszczenie rozprawy doktorskiej [wersja polska-pdf]
- Streszczenie rozprawy doktorskiej [wersja angielska-pdf]
Recenzenci:
- dr hab. Krzysztof Jassem, Uniwersytet im. Adama Mickiewicza w Poznaniu Recenzja [PDF]
- dr hab. Tomasz Jurdziński, Uniwersytet Wrocławski Recenzja [PDF]
MGR INŻ. TOMASZ STRUMIŃSKI
Tytuł pracy: Algorytmy ukrywania informacji
Promotror: dr hab. inż. Marek Klonowski, Politechnika Wrocławska
Recenzenci:
- dr hab. Wojciech Guzicki, Uniwersytet Warszawski Recenzja [PDF]
- dr hab. Tomasz Jurdziński, Uniwersytet Wrocławski Recenzja [PDF]
MGR INŻ. MICHAŁ KOZA
Tytuł pracy: Repelling Sybil Attacks in wireless ad hoc systems
Promotor: prof. dr hab. Mirosław Kutyłowski
Recenzenci:
- dr hab. Stefan Dziembowski, Instytut Informatyki, Uniwersytet Warszawski Recenzja [PDF]
- prof. dr hab. inż. Franciszek Seredyński, UKSW Recenzja [PDF]