Informatyka (SD-NI-D4)

Autor projektu/potencjalny promotor: prof. UO dr hab. Barbara Morawska

e-mail: Barbara.Morawska@uni.opole.pl 

Tematy badawcze:

- Algorytmy dla unifikacji pojęć w niektórych logikach deskrypcyjnych

- Zastosowania algorytmu unifikacji w logice deskrypcyjnej w rozszerzeniach SNOMED CT

Doświadczenie naukowe promotora:

- Autor kilkunastu prac konferencyjnych na renomowanych konferencjach informatycznych (IJCAR, KR, CADE, LPAR)

- Autor kilkunastu artykułów w czasopismach naukowych

- promotor pomocniczy w TU Dresden 

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- Praca doktorska będzie realizowana w ramach projektu badawczego pt. „Automatyzacja Problemu Unifikacji w Logikach Deskrypcyjnych”, DEC-2022/47/P/ST6/03196, 

finansowanego przez NCN; możliwość zatrudnienia doktoranta na okres 2 lat. 

- możliwości mobilności międzynarodowej doktoranta:

- Możliwość uczestnictwa w międzynarodowych konferencjach i spotkaniach

Inne wymagania promotora w stosunku do kandydata:

- Mile widziana dobra znajomość logiki

- Mile widziana umiejętność programowania w języku Java.

 Autor projektu/potencjalny promotor: prof. dr Ian Pratt-Hartmann

e-mail: ipratt-hartmann@uni.opole.pl 

Tematy badawcze:

-Logika obliczeniowa/logika matematyczna

-Sztuczna inteligencja

Doświadczenie naukowe promotora:

- Autor książki o logice matematycznej wydawanej w serii Oxford Logic Guides 

- Autor ponad 40 artykułów w czasopismach naukowych

- Autor ponad 40 artykułów konferencyjnych

- Promotor kilkunastu prac doktorskich

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów

- możliwości mobilności międzynarodowej doktoranta

Inne wymagania promotora w stosunku do kandydata

Autor projektu/potencjalny promotor: prof. UO dr hab. inż. Mariusz Pelc

e-mail: ……@uni.opole.pl 

Tematy badawcze:

- Systemy self-* (self-configuring, self-protecting, self-managing, self-healing, etc.) w zastosowaniach (serwisy internetowe, systemy komputerowe, sieci komputerowe)

- Autonomiczne (Smart) systemy IoT / wbudowane 

-Zastosowanie bio-informatyki (ML, DL, etc.) w procesach diagnostyki komputerowej / badań przesiewowych

Doświadczenie naukowe promotora:

- Praca przy projektach naukowych (DySCAS, CHIST-ERA) związanych z zaproponowaną tematyką badawczą

- Istotny dorobek publikacyjny dotyczący tej tematyki

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- możliwości mobilności międzynarodowej doktoranta:

Inne wymagania promotora w stosunku do kandydata:

- bardzo dobra umiejętność programowania (Matlab / Simulink, Python, R)

- znajomość metod / narzędzi statystycznych 

Autor projektu/potencjalny promotor: prof. UO dr hab. Lidia Tendera

e-mail: tendera@uni.opole.pl

Tematy badawcze:

Logika obliczeniowa

Zastosowania logiki w informatyce

Doświadczenie naukowe promotora:

- Autor kilkunastu artykułów w czasopismach naukowych

- Autor kilkunastu prac konferencyjnych na prestiżowych konferencjach informatycznych (LICS, CADE, MFCS, STACS)

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach:

- zaplecze badawcze projektów

- możliwości mobilności międzynarodowej doktoranta

Inne wymagania promotora w stosunku do kandydata:

Autor projektu/potencjalny promotor: prof. UO dr hab. Wiesław Szwast

e-mail: szwast@uni.opole.pl 

Tematy badawcze:

-Logika obliczeniowa

Doświadczenie naukowe promotora:

- Autor kilkunastu artykułów w czasopismach naukowych

- Autor prac konferencyjnych na prestiżowych konferencjach informatycznych (LICS, FOCS, STACS)

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- możliwości mobilności międzynarodowej doktoranta:

Inne wymagania promotora w stosunku do kandydata

Autor projektu/potencjalny promotor: prof. UO dr hab. Piotr Wojtylak

e-mail: pwojtylak@uni.opole.pl 

Tematy badawcze:

- Unifikacja w logikach modalnych

- Unifikacja w logice intuicjonistycznej

Doświadczenie naukowe promotora:

- Autor kilkunastu artykułów w czasopismach naukowych

- Promotor 6 doktorantów

Zaplecze badawcze realizowanego projektu, możliwości mobilności międzynarodowej doktoranta, możliwości zatrudnienia doktoranta przy realizowanych projektach lub grantach: 

-  zaplecze badawcze projektów:

- możliwości mobilności międzynarodowej doktoranta:

Inne wymagania promotora w stosunku do kandydata