(in Polish) Informatyka (SD-NI-D4)

Project 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: ……@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. UO dr hab. Wiesław Szwast

e-mail: szwast@uni.opole.pl 

Research topics:

-Computational logic

Scientific experience of the promoter:

- Author of several articles in academic journals

- Author of articles in prestigious conference proceedings (LICS, FOCS, 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. UO dr hab. Piotr Wojtylak

e-mail: pwojtylak@uni.opole.pl 

Research topics:

- Unification in modal logics

- Unification in intuitionistic logic

Scientific experience of the promoter:

- Author of several articles in academic journals

- Advisor of 6 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 projects

- opportunities for international mobility of doctoral students

Other Promoter’s requirements for the applicant