PhD studies in Computer Science
The recruitment rules for 2020: pdf-Polish
Registration of the candidates (until June, 13): IRC system
The recruitment schedule: pdf
Useful information for foreign students at University of Wrocław: link
The list of potential advisors at the Institute of Computer Science and their research interests:
- 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
- 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
- Paweł Gawrychowski (home, scholar, dblp) I'm interested in designing and analysing efficient algorithms and data structures for problems related to strings (searching and indexing texts, particularly compressed texts), trees (computing distances between trees) and planar graphs (distance oracles).
- Artur Jeż
- 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.
- Krzysztof Loryś
- Jerzy Marcinkowski
- 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
- Marek Piotrów
- 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.
- Piotr Wnuk-Lipiński
- 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).
Additionally, it is possible to be advised by scientific employees from the Institute of Mathematics.