(in Polish) Informatyka (SD-NI-D4)(in Polish: Informatyka) | |
(in Polish) Szkoła doktorska (in Polish) stacjonarne, (in Polish) 4-letnie Language: unknown | Opis ogólnyProject author/potential promoter: prof. UO dr hab. Barbara Morawska e-mail: Barbara.Morawska@uni.opole.pl Researchtopics: -Algorithms for unification in some description logics -Applications of a unification algorithm in some extensions of SNOMED CT Scientific experience of the promoter: - Author of several articles in renowned conference proceedings (IJCAR, KR, CADE, LPAR) - Author of several articles in academic journals - additional supervisor (TU Dresden) Research facilities of the implemented project, possibilities of international mobility of the doctoral student, possibilities of employing the doctoral student in implemented projects or grants: - research facilities for projects: PhD research will be conducted within the research project „Automation of the Unification Problem in Description Logics”, DEC-2022/47/P/ST6/03196, funded by NCN; possibility of employing the doctoral student for 2 years. - opportunities for international mobility of doctoral students: - Possibilities of participation in international conferences and meetings Other Promoter's requirements for the applicant: - Good knowledge of logic is advisable - Ability to program in Java is desirable. Project author/potential promoter: prof. UO dr hab. Ian Pratt-Hartmann e-mail: ipratt-hartmann@uni.opole.pl Research topics: -Mathematical/computational logic -Artificial intelligence Scientific experience of the promoter: - Author of a book on mathematical logic published in the series Oxford Logic Guides - Author of over 40 articles in academic journals - Author of over 40 articles in conference proceedings - PhD advisor of several PhD students Research facilities of the implemented project, possibilities of international mobility of the doctoral student, possibilities of employing the doctoral student in implemented projects or grants: - research facilities for project - opportunities for international mobility of doctoral students: Other Promoter’s requirements for the applicant: Project author/potential promoter: prof. UO Dr hab. Eng. Mariusz Pelc e-mail: mariusz.pelc@uni.opole.pl Research topics: - Self-* systems (self-configuring, self-protecting, self-managing, self-healing, etc.) and their applications (internet services, computer systems, computer networks, etc.) - Autonomous (Smart) IoT / embedded systems - Applications of bio-informatics (ML, DL, etc.) to medical diagnostics / screening Scientific experience of the promoter: - Contribution to research projects in this domain (DySCAS, CHIST-ERA) - Proven publication track in the field - …… Research facilities of the implemented project, possibilities of international mobility of the doctoral student, possibilities of employing the doctoral student in implemented projects or grants: - research facilities for projects: - …… - …… - opportunities for international mobility of doctoral students: - …… - …… Other Promoter's requirements for the applicant: - very good programming skills (Matlab / Simulink, Python, R) - understanding of statistical methods and tools Project author/potential promoter: prof. UO dr hab. Lidia Tendera e-mail: tendera@uni.opole.pl Research topics: -Computational logic -Applications of logic in computer science Scientific experience of the promoter: - Author of several articles in academic journals - Author of several articles in prestigious conference proceedings (LICS, CADE, MFCS, STACS) Research facilities of the implemented project, possibilities of international mobility of the doctoral student, possibilities of employing the doctoral student in implemented projects or grants: - research facilities for projects - opportunities for international mobility of doctoral students Other Promoter’s requirements for the applicant Project author/potential promoter: prof. dr hab. Aleksander Iwanow e-mail: iwanowaleksander@gmail.com Researchtopics: Questions of mathematical logic connected with Constraint Satisfaction Problem Scientific experience of the promoter: - https://orcid.org/0000-0002-5720-2864 - 40 years of academic career - Supervision of three PhD-s in mathematics Research facilities of the implemented project, possibilities of international mobility of the doctoral student, possibilities of employing the doctoral student in implemented projects or grants: - research facilities for projects: - …… - …… - opportunities for international mobility of doctoral students: - …… - …… Other Promoter's requirements for the applicant: - General mathematical and learning abilities - Basic mathematicakl logic, algorithms, discrete mathematics - Speaking English Project author/potential promoter: prof. UO dr Gleb Polevoy e-mail: gleb.polevoy@uni.opole.pl Research topics: Solution concepts of games and their efficiency Motivating the desired play Realistic modelling of interactions Algorithmic analysis of games Various approximation algorithms Scientific experience of the promoter: - Solution concepts for noncooperative games, prices of anarchy and stability - Adjusting noncooperative games and motivating play using controlling players - Modelling reciprocation, investments, signalling, and other interactions - Algorithms acting on games - Various approximation algorithms (combinatorial and LP-based) Research facilities of the implemented project, possibilities of international mobility of the doctoral student, possibilities of employing the doctoral student in implemented projects or grants: - research facilities for projects: - …… - …… - opportunities for international mobility of doctoral students: - …… - …… Other Promoter's requirements for the applicant: - General mathematical abilities - Quick leaning ability - Algorithms, combinatorics, discrete mathematics, probability theory, graph theory, basic linear algebra and calculus - Good command of English |
Visit the following page for details on admission procedures:
https://rekrutacja.uni.opole.pl