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: mariusz.pelc@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. dr hab. Aleksander Iwanow 

e-mail: iwanowaleksander@gmail.com

Tematy badawcze:

Zagadnienia logiki matematycznej występujące w problemie spelnialności więzów  

Doświadczenie naukowe promotora: 

- https://orcid.org/0000-0002-5720-2864

- ponad 40 lat pracy naukowej

- wypromowanie trzech doktorów nauk matematycznych

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:

- Ogólne zdolności matematyczne i umiejętność szybkiego uczenia się

- Podstawy logiki matematycznej, algorytmy, matematyka dyskretna 

- Dobra znajomość języka angielskiego  

Autor projektu/potencjalny promotor: prof. UO dr Gleb Polevoy

e-mail:  gleb.polevoy@uni.opole.pl 

Tematy badawcze:

Koncepcje rozwiązań gier i ich skuteczność 

Motywowanie do pożądanej rozgrywki

Realistyczne modelowanie interakcji

Algorytmiczna analiza gier

Różne algorytmy aproksymacji

Doświadczenie naukowe promotora:

- Koncepcje rozwiązania gier niekooperacyjnych, ceny anarchii i stabilności

- Dostosowywanie gier niekooperacyjnych i motywowanie do gry za pomocą kontrolowania graczy

- Modelowanie wzajemnego oddziaływania, inwestycji, sygnalizowania i innych interakcji

- Algorytmy działające na gry

- Różne algorytmy aproksymacji (kombinatoryczne i oparte na LP)

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:

- Ogólne zdolności matematyczne

- Umiejętność szybkiego uczenia się

- Algorytmy, kombinatoryka, matematyka dyskretna, teoria prawdopodobieństwa, teoria grafów, podstawy algebry liniowej i rachunku różniczkowego

- Dobra znajomość języka angielskiego