Harmonogram dodatkowej rekrutacji do Kolegium Doktorskiego Informatyki (doc)

Harmonogram rekrutacji na studia w Szkole Doktorskiej (link)

Krajowa Reprezentacja Doktorantów (pdf-pol) (pdf-ang)

Informacje dla kandydatów do Szkoły Doktorskiej oraz dla doktorantów poniżej.

Dostępni promotorzy

• Dariusz Biernacki (home, scholar, dblp) My research centers on the formal semantics of functional languages in general, and in particular on abstract machines, continuations, type-and-effect systems for computational effects, and on inductive and coinductive methods for reasoning about programs.
• Marcin Bieńkowski (home, scholar, dblp) I am broadly interested in online algorithms, from a theory viewpoint but with a special focus on applications in networking and operations research. I have been working on server problems, file migration, buffer management techniques, packet scheduling and supply-chain management algorithms. I am also interested in computer-aided design of online algorithms and lower bounds.
• Jarosław Byrka (home, scholar, dblp) My research concentrates on approximation algorithms for combinatorial optimization problems. Among the topics that I plan to study in the following years are: capacitated k-median, inventory routing problem, and connectivity augmentation.
• Witold Charatonik (home, scholar, dblp) I am interested in broadly understood logic in computer science. I used to work on constraint systems (mainly set constraints), program analysis (mainly set-based analysis), automata theory (mainly automata on finite trees), process calculi (mainly ambient calculus), finite model theory (mainly two-variable logics), and recently on semantics of functional languages (mainly abstract machines).
• Jan Chorowski (home, scholar, dblp) I work on applications of Neural Networks and Deep Learning, for speech processing, NLP, and logistics (currently on a leave)
• Paweł Gawrychowski (home, scholar, dblp) I'm interested in designing and analysing efficient algorithms and data structures. In the past, I have been working on problems related to strings (searching and indexing texts, particularly compressed texts), trees (computing distances between trees) and planar graphs (distance oracles). More recently, I have been looking into some questions in the area of fine-grained complexity (showing that some problems probably don't have an efficient algorithm), distributed labeling schemes (how to scatter information about the input graph so that a query can be answered ""locally""), and query complexity (for connectivity problems, such as edge connectivity).
• Artur Jeż (home, scholar, dblp) I am interested in topics related to word equations (in ``normal'' words, but also other semigroups and groups), word combinatorics and algorithms, grammar compression (for strings but also for trees); mostly in those that are at the intersection of the aforementioned and in some related problems. I used to be also interested in formal languages and automata theory.
• Łukasz Jeż, PhD (home, scholar, dblp) My work focuses on online algorithms (and competitive analysis), particularly those related to scheduling. In the near future I am planning to look into Online Matching and Ad Allocation problems (see https://research.google/pubs/pub41870/). I am also generally interested in the theory of algorithms and to a lesser extent in game theory. However, as a prospective student, keep in mind that the further your interests lie from mine, the more ready you should be to work independently. Also, for full disclosure: I have not advised any students yet.
• Tomasz Jurdzinski (home, scholar, dblp) My main research interest is mainly in distributed computing, distributed and parallel algorithms. I am interested in algorithmic aspects of wireless networks as well as parallelism inherent in modern large scale computation (processing of big data). In particular, it includes algorithm design and lower bounds in such models as radio networks, congested clique, MPC (massively parallel computation), or the graph computation in the CONGEST model. I also used to work in automata and formal languages.
• Emanuel Kieroński (home, scholar, dblp) I am interested in decidability and complexity of fragments of first-order logic (two-variable logic, guarded fragment, unary negation fragment, modal and description logics) motivated by computer science.
• Piotr Lipiński (home, scholar) My research interests focus on computational intelligence, particularly evolutionary algorithms, data mining and machine learning, especially in the context of complex multi-dimensional data processing. My recent work concerns evolutionary algorithms with dimensionality reduction for multi-dimensional optimization problems, classification and prediction of irregular ultra-high frequency financial time series, evolutionary optimization for improving water demand forecasting, and trend prediction for improving recommender systems.
• Krzysztof Loryś (scholar, dblp)
• Jerzy Marcinkowski (scholar, dblp)
• Jakub Michaliszyn (home, scholar, dblp), I am working on automatic verification, using methods such as machine learning, automata, abstraction and logic.
• Jan Otop (home, scholar, dblp) I am interested broadly in automata theory and related topics such as games, MDPs, VASS, etc and their applications. Specifically, I work on the quantitative approach to automata theory (i.e. automata returning values), the probabilistic approach (automata under probabilistic semantics), and the combination of thereof. Recently, I started research on learning in the automata framework. I used to work on logic in computer science and automated reasoning.
• Katarzyna Paluch (home, scholar, dblp) I am broadly interested in combinatorial optimisation and discrete maths. More specifically, my research so far has been on algorithms for traveling salesman problems, matchings, matchings with preferences (like stable, rank-maximal) and rectangle tiling. In the near future I plan to continue the investigation of traveling salesman problems and matchings but also intend to branch out into other graph and geometric problems.
• Marek Piotrów (home, scholar, dblp)
• Przemysław Uznański, dr. (home, scholar, dblp) I am interested in constructing efficient algorithms for processing big data sets. More specifically, I am interested in exploiting inherent parallelism appearing in many problems for constructing efficient algorithms. This applies not only to parallel computation, but to classical centralised computation, and other models like streaming processing, or massively parallel computation. In my work I use not only algorithmical techniques, but also algebra and linear algebra extensively, as well as probabilistic analysis and high-dimensional geometry. I am also interested in proving lower-bounds and showing limitations to techniques.
• Paweł Woźny (home, scholar, dblp) I am interested in numerical analysis, computational mathematics, algorithms for curves and surfaces, mathematical methods in computer graphics, approximation theory, convergence acceleration, theory and applications of orthogonal polynomials, special functions and dual bases, as well as computer algebra (symbolic computation).

(dostępne są także tematy u pracowników naukowych Instytutu Matematyki)

Sylabusy:

Seminarium: Elementy teorii dowodu (link)

Seminarium: Złożoność z lekką nutką logiki (link)

Algorytmy z niepełną informacją  (link)

Seminarium: Zaawansowana algorytmika  (link)

Seminarium: Informatyka politycznie poprawna (link)

Złożoność drobnoziarnista, skoncentrowana na trudności wyszukiwania podstruktur (link)

Seminarium: Teoria automatów (link)

Seminarium: Zaawansowana algorytmika (link)

Teoria baz danych z nieprzewidywalnym nadzieniem (link)

Ocena śródokresowa doktorantów 2022:

ZARZĄDZENIE Nr 25/2021 Rektora Uniwersytetu Wrocławskiego z dnia 3 marca 2021 r. w sprawie ustalenia harmonogramu przeprowadzenia oceny śródokresowej doktorantów kształcących się w Szkole Doktorskiej Uniwersytetu Wrocławskiego oraz wprowadzenia wzorów dokumentów wymaganych w procedurze oceny śródokresowej (link)

Sprawozdanie z realizacji indywidualnego planu badawczego (link)

Opinia promotora z realizacji indywidualnego planu badawczego (link)

Lista doktoratów, tematy i recenzje

Lista znajduje się na stronie Wydziału.

Dokumenty

• Wniosek o wyrażenie zgody na złożenie dokumentów w systemie IRK/IRC: link
• Zarządzenie w sprawie oceny śródokresowej: pdf-pol, doc-ang
• Dokumenty do oceny śródokresowej: doc
• Program kształcenia od roku akademickiego 2021/2022: pdf
• Zmiany w Programie kształcenia od roku akademickiego 2021/2022: pdf
• Zasady rekrutacji na rok akademicki 2022/2023: pdf
• Zasady rekrutacji na rok akademicki 2023/2024: pdf
• Oświadczenie kandydata: pdf
• Zarządzenie rektora w sprawie procedury rejestracji w IRKa oraz organizacji procesu rekrutacji na I rok w roku akademickim 2021/2022: pdf
• Rejestracja kandydatów: IRKa
• Oświadczenie kandydata: pdf, doc
• Planowany harmonogram rekrutacji w roku 2021/2022: pdf
• Regulamin Szkoły Doktorskiej: pdf
• Rules and regulations of the Doctoral School of the University of Wrocław: pdf
• Wniosek o wyjazd zagraniczny: pdf, doc

Przydatne informacje - studia doktoranckie i szkoła doktorska (archiwum informacji)

• Uchwała w sprawie programu kształcenia w Szkole Doktorskiej: pdf
• Program kształcenia: doc
• Zarządzenie Rektora w sprawie dokumentacji przebiegu kształcenia w szkołach doktorskich: pdf
• Potwierdzenie odbioru dokumentów: pdf, doc
• Sprawozdanie roczne: pdf, doc
• Sylabus: pdf, doc
• Indywidualny plan badawczy: pdf, doc
• Karta wyjazdów: pdf, doc
• Oświadczenie o prawach autorskich: pdf, doc
• Zasady rekrutacji na rok akademicki 2021/2022: pdf

Stypendia i pomoc materialna

• Doktoranci mogą otrzymać stypendium doktoranckie. Więcej o pomocy materialnej: https://dev.uni.wroc.pl/4764-2/wsparcie-dla-doktor...
• Doktoranci mogą wynająć pokoje w ,,Hotelu asystenta'' we Wrocławiu za tę samą cenę, którą płacą asystenci Uniwersytetu Wrocławskiego.
• Doktoranci nie pochodzący z Wrocławia mogą ubiegać się o niewielki dodatek finansowy od Rektora na pokrycie kosztów wynajmu pokoju lub mieszkania we Wrocławiu.

Obowiązki doktoranta

• Doktoranci są zobowiązani do uczestniczenia w wykładach, zajęciach typu ,,reading'' lub seminariach w każdym roku akademickim. Na 1. roku studiów rekomendowana liczba godzin wynosi 180, na starszych latach 120 godzin.
• Doktoranci otrzymujący stypendium muszą prowadzić zajęcia dydaktyczne z innymi studentami Wydziału, ale nie więcej niż 90 godzin rocznie.

Formularze dla doktorantów

• Ocena opiekuna naukowego (doc)
• Załącznik do wszystkich stypendiów (xls)
• Wniosek o wszczęcie przewodu doktorskiego (doc)
• Karta wyjazdów doktoranta (pdf)

Przewód doktorski

• Informacje dotyczące składania rozprawy doktorskiej (pdf)
• Zarządzenie Rektora UWr w sprawie procedury sprawdzania prac dyplomowych i rozpraw doktorskich w systemie PLAGIAT (pdf)
• Zarządzenie Dziekana WMI w sprawie procedury sprawdzania prac dyplomowych i rozpraw doktorskich w systemie PLAGIAT (pdf)
• Oświadczenie o autorskim wykonaniu rozprawy doktorskiej (doc)
• Oświadczenie współautorów (doc)
• Synaba (doc) i załącznik (doc)
• Karta obiegowa (doc)
• Potwierdzenie odbioru dokumentów (doc)
• Regulaminu studiów doktoranckich (uchwała nr 61) (pdf)
• Regulamin przyznawania stypendium doktoranckiego (zarządzenie nr 70/2017) (pdf)
• Regulamin przyznawania zwiększenia wysokości stypendium doktoranckiego (zarządzenie Rektora nr 73/2017) (pdf)
• Ramowy Program Studiów Doktoranckich (pdf)