Zajmował się początkowo logikami kwantowymi i teorią konsekwencji. Później, w latach osiemdziesiątych ub. wieku - głównie zagadnieniem algebraizowalności systemów dedukcyjnych oraz algebrą ogólną i jej związkami z logiką. Prowadził wspólne badania z matematykami i logikami polskimi, amerykańskimi i hiszpańskimi. Sam lub wraz z nimi otrzymał fundamentalne wyniki w zakresie algebraicznej hierarchii systemów logicznych, wprowadzając przy tym szereg pojęć (m.in. lokalne twierdzenie o dedukcji, logika filtrowo-dystrybutywna, logika regularnie algebraizowalna, operator Suszki, ogólne pojęcie komutatora dla systemów dedukcyjnych).
Ostatnio zajmuje się teorią mnogości (zasady indukcji dla zbiorów, algebraizacja teorii mnogości), niefinitystycznymi metodami definiowania pojęć, teorią działania (action theory) oraz zastosowaniami teorii modeli w teorii liczb.
Dorobek naukowy obejmuje 100 publikacji, w tym pionierskie monografie: Protoalgebraic Logics, Kluwer 2001; Freedom and Enforcement in Action. Elements of Formal Action Theory, Springer 2015; The Equationally Defined Commutator. A Study in Equational Logic and Algebra, Birkhäuser 2015.
W latach 1967-1972 studiował na Wydziale Matematyki, Fizyki i Chemii Uniwersytetu Wrocławskiego. W roku 1972 uzyskał tytuł zawodowy magistra matematyki. Tezę doktorską
obronił w maju 1975 r. na Wydziale Matematyki i Mechaniki Uniwersytetu Warszawskiego. Stopień doktora habilitowanego w zakresie logiki uzyskał w kwietniu 1986 r. w Polskiej Akademii Nauk na podstawie rozprawy Logiki równoważnościowe.
Pracownik Zakładu Logiki PAN w latach 1972 -1992 oraz jego kierownik w okresie 1988-1992. Docent od 1988 r. roku tamże. W latach 1990/1991 oraz 1994/1994 Visiting Professor w Iowa State University w Ames (U.S.A.) na Wydziale Matematyki. W roku 1992 podjął pracę w Opolu w związku z perspektywą powołania tam uniwersytetu. Profesurę tytularną otrzymał w roku 1998. Od roku 2008 profesor zwyczajny na Uniwersytecie Opolskim.
Przez wiele lat prowadził na UO ogólnopolskie seminarium z logiki i algebry. Od roku 1997 współorganizator corocznych konferencji z cyklu „Zastosowania logiki w filozofii i podstawach matematyki” (Karpacz, Szklarska Poręba). Staże i dłuższe pobyty naukowe, m.in. w Hiszpanii, Kanadzie, Szwecji, U.S.A, Włoszech, Związku Radzieckim. Brał udział w wielu konferencjach międzynarodowych.
Członek Polskiego Towarzystwa Logiki i Filozofii Nauki, (od roku 2009 – członek Zarządu, a w latach 2012 – 2015 jego prezes), by członkiem Polskiego Towarzystwa Matematycznego oraz American Mathematical Society.
Odznaczenia – Złoty Krzyż Zasługi (2002).
Od wielu lat prowadzi wykłady ze wstępu do logiki i teorii mnogości, a na starszych latach – wykłady z analizy funkcjonalnej, teorii mnogości, teorii modeli itp.
Zainteresowania naukowe koncentrują się wokół zagadnień z zakresu fizyki teoretycznej związanych z podstawami fizyki kwantowej, nierównowagową fizyką statystyczną, metodami stochastycznymi w fizyce, dynamiką nieliniową, chaosem klasycznym i kwantowym, układami złożonymi.
Zainteresowania pozanaukowe: muzyka klasyczna (powazna, ale też niepowazna), historia kultury i cywilizacji, literatura piękna (i dla niektórych niepiękna), link wprowadzajacy http://elitaczyta.pl/elita/piotr-garbaczewski/
Dostep do ponad 134 prac naukowych jest możliwy poprzez profil osobisty na portalach:
Google Scholar https://scholar.google.com
Research Gate https://www.researchgate.net
ORCID https://orcid.org
Preprinty oraz dane publikacyjne 71 prac naukowych od roku 1995, można znaleźć na portalu https://arxiv.org
Alma Mater - Uniwersytet Wroclawski, Instytut Fizyki Teoretycznej.
Od 2006 roku jest profesorem zwyczajnym w Uniwersytecie Opolskim . W 2008 roku objął tam kierownictwo Katedry Astrofizyki i Fizyki Teoretycznej . W tym samym roku został dyrektorem Instytutu Fizyki. Obie funkcje pełnił do 2020 roku. .
Piotr Garbaczewski – Wikipedia, wolna encyklopedia
Logika matematyczna, w szczególności teoria modeli, i logiczne aspekty teorii grup
numer ORCID:
Logika dla informatyków, Algebra
Moje zainteresowania naukowe to
- teoria przejść fazowych
- teoria chaosu klasycznego i kwantowego
- teoria układów fermionowych i zjawisko tak zwanej kondensacji fermionowej
- teoria procesów stochastycznych i ich zastosowanie w teorii ciała stałego
- teoria układów nieuporządkowanych w tym substancji dielektrycznych, magnetycznych oraz szkieł spinowych
- teoria półprzewodników (na przykład pochłaniania optycznego ekscytonami)
- teoria solitonów w tym magnetycznych oraz optycznych oraz z tak zwanymi pochodnymi ułamkowymi
- teoria powstania galaktyk i ich klastrów
Moje wybrane publikacje to
1. M.D. Glinchuk, A.V. Ragulya, Vladimir A. Stephanovich “Nanoferroics” Springer Series in Materials Science 177, Springer, Dordrecht, 2013. DOI: http://dx.doi.org/10.1007/978-94-007-5992-3
2. M. Ya. Amusia, K. G. Popov, V. R. Shaginyan, V. A. Stephanovich “Theory of
Heavy-Fermion Compounds” Springer Series in Solid-State Sciences 182, Springer,
Dordrecht, 2014. DOI: http://dx.doi.org/10.1007/978-3-319-10825-4
3. V.A. Stephanovich, W. Godłowski the distribution of galaxies’ gravitational field stemming from their
tidal interaction. The Astrophysical Journal, 2015, 810:167 (14pp).
4. V.A. Stephanovich, E.V. Kirichenko, G. Engel, Yu. G. Semenov and K.W. Kim Carrier-induced ferromagnetism in two-dimensional magnetically doped semiconductor structures. Physical Review B, 2021, v.104, art#094423: 1-7.
5. V. A. Stephanovich, W. Olchawa, E. V. Kirichenko and V. K. Dugaev 1D solitons in cubic-quintic fractional nonlinear Schrödinger equation. Scientific Re ports (2022) 12:15031.
(https://doi.org/10.1038/s41598-022-19332-z ) .
6. V. A. Stephanovich, W. Olchawa Stabilization of 1D solitons by fractional derivatives in systems with quintic nonlinearity. Scientific Reports (2022) 12:384 (https://doi.org/10.1038/s41598-021-04292-7) .
7. V.A. Stephanovich, E.V. Kirichenko, G. Engel and V.K. Dugaev Influence of Dirac cone warping and tilting on the Friedel oscillations in a topological insulator. Physical Review B, 2023, v.107,art#035305: 1-9.
8.
V.A. Stephanovich, W. Olchawa and E.V. Kirichenko Screened Coulomb interaction
in insulators with strong disorder. Physical Review E, 2023,
v.107,art#054141:1-9.
9. A. Sinner, G. Engel , A. Ernst, and V. A. Stephanovich Valley quantum Hall effect meets strain: Subgap formation and large increment of the Hall conductivity. Physical Review B, 2023,
v.108,art#235431: 1-9.
10. V. A. Stephanovich , E. V. Kirichenko , G. Engel , and A. Sinner Spin-orbit-coupled fractional oscillators and trapped Bose-Einstein condensates. Physical Review E, 2024,
v.109,art#014222:1-9.
11. V. A. Stephanovich , E. V. Kirichenko, and K. Książek, J.H. Sauco and B. L. Brito Quantum chaotic features of the spin-orbit coupled excitons in disordered two-dimensional insulators. Physical Review E, 2024,
v.110,art#024201:1-10.
Jestem specjalistą w dziedzinie teorii ciała stałego i ostatnim czasem w astronomii pozagalaktycznej.
Z racji tego prowadzę zajęcia z przedmiotów:
- Analiza matematyczna
- Metody matematyczne fizyki
- Fizyka ciała stałego
Moje zainteresowania naukowe to:
Prowadzę zajęcia z przedmiotów:
Główne kierunki zainteresowań:
Typy prowadzonych pomiarów i analiz:
Języki:
Aktualizowana lista publikacji na ORCID: https://orcid.org/0000-0003-1333-6331
Przykładowe publikacje z ostatnich lat (plazma wysokotemperaturowa):
C. Giroud et al ( E. Pawelec ) , The core–edge integrated neon-seeded scenario in deuterium–tritium at JET , Nucl. Fusion 64 106062 (2024)
E. Pawelec et al, Internal energy distributions of BeH, BeD, and BeT molecules created during chemically assisted physical sputtering in JET tokamak plasma , Phys. Plasmas 31 , 042516 (2024)
N. Osborne et al (E. Pawelec) Initial Fulcher band observations from high resolution spectroscopy in the MAST-U divertor, Plasma Phys. Control. Fusion 66 025008 (2024)
M. Groth et al (E. Pawelec), Characterisation of divertor detachment onset in JET-ILW hydrogen, deuterium, tritium and deuterium–tritium low-confinement mode plasmas, Nucl. Mat. Energy 34 101345 (2023).
E.R. Solano et al ( E. Pawelec ), Recent progress in L–H transition studies at JET: tritium, helium, hydrogen and deuterium, Nuclear Fusion 62, 076026 (2022).
T. Wauters, et al, ( E . Pawelec ), Isotope removal experiment in JET-ILW in view of T-removal after the 2nd DT campaign at JET, Physica Scripta 97 , 044001 (2022).
E. Pawelec and JET Contributors, Core (XUV/VUV) and boundary (UV/vis/IR) plasma spectroscopy in fusion devices , Eur. Phys. J. Plus 136 , 838 (2021).
A. Drenik et al ( E. Pawelec ), Evolution of nitrogen concentration and ammonia production in N2-seeded H-mode discharges at ASDEX Upgrade , Nuclear Fusion 59 (4), 1–19 (2019)
S. Brezinsek et al ( E. Pawelec ), Erosion, screening, and migration of tungsten in the JET divertor, Nuclear Fusion, 59 (9), 1–25 (2019)
D. Gallart et al ( E. Pawelec ), Modelling of JET hybrid plasmas with emphasis on performance of combined ICRF and NBI heating, Nuclear Fusion 58 , 106037 (2018)
N. Tamura, K. J. McCarthy, H. Hayashi, S. K. Combs, C. Foust, R. García, N. Panadero, E. Pawelec, J. Hernández Sánchez, M. Navarro, and A. Soleto,Tracer-Encapsulated Solid Pellet (TESPEL) injection system for the TJ-II stellarator,Review of Scientific Instruments 87, 11D619 (2016)
Przykładowe publikacje z lat wcześniejszych (plazma niskotemperaturowa):
Droga naukowa:
Wyjazdy i kontakty zagraniczne:
Plazma niskotemperaturowa
(1994-2014)
:
Plazma wysokotemperaturowa - EUROFUSION (2015- aktualne) :
Interesują się (poza naukowo) administracją systemem operacyjnym Linux (poonad 30-letnie doświadczenie), konstruuję drony (inteligentne), ponadto, gram (amatorsko) na pianinie, amatorsko również uprawiam sport (triathlon).
A Review of Patient Bed Sensors for Monitoring of Vital Signs M Recmanik, R Martinek, J Nedoma, R Jaros, M Pelc, R Hajovsky, ... Sensors 24 (15), 4767 | 2024 | ||
The Most Current Solutions using Virtual-Reality-Based Methods in Cardiac Surgery--A Survey D Mikolajewski, A Bryniarska, PM Wilczek, M Myslicka, A Sudol, ... Computer Science 25 (1) | 2024 | ||
Review of the application of the most current sophisticated image processing methods for the skin cancer diagnostics purposes M Myslicka, A Kawala-Sterniuk, A Bryniarska, A Sudol, M Podpora, ... Archives of Dermatological Research 316 (4), 99 | 2024 | ||
The Post-covid-19 Pandemic Quality of Life: a Study of Sports Department Students K Łukaniszyn-Domaszewska, M KONIECZNY, P Pakosz, ... Zeszyty Naukowe. Organizacja i Zarządzanie/Politechnika Śląska, 405-426 | 2023 | ||
SURVEY ON THE MOST CURRENT IMAGE PROCESSING METHODS IN HUNTINGTON'S DISEASE DIAGNOSTICS AND PROGRESSION ASSESSMENT. A Kawala-Sterniuk, D Mikolajewski, A Bryniarska, M Myslicka, ... Computer Science 24 (4) | 2023 | ||
Implementation of artificial intelligence and machine learning-based methods in brain–computer interaction K Barnova, M Mikolasova, RV Kahankova, R Jaros, A Kawala-Sterniuk, ... Computers in Biology and Medicine 163, 107135 | 2023 | ||
Pilot study on using Hybrid–Cascade filtering on brain signals for the control purposes M Pelc, D Mikołajewski, EJ Gorzelańczyk, A Wieczorek, H Racheniuk, ... 2023 27th International Conference on Methods and Models in Automation and … | 2023 | ||
Custom-made Near Infrared Spectroscope as a Tool for Obtaining Information Regarding the Brain Condition A Wieczorek, EJ Gorzelańczyk, M Pelc, S Duraisamy, LA Leiva, ... 2023 27th International Conference on Methods and Models in Automation and … | 2023 | ||
Initial study on an expert system for spine diseases screening using inertial measurement unit M Pelc, R Vilimkova Kahankova, M Blaszczyszyn, D Mikolajewski, ... Scientific Reports 13 (1), 10440 | 2023 | ||
Machine Learning-Based Cascade Filtering System for fNIRS Data Analysis M Pelc, D Mikołajewski, T Ruotsalo, LA Leiva, A Sudoł, EJ Gorzelańczyk, ... 2023 Progress in Applied Electrical Engineering (PAEE), 1-5 | 2023 | ||
Improving fNIRS Signal Quality Using Smoothing Filtering A Kawala-Sterniuk, D Mikołajewski, LA Leiva, T Ruotsalo, A Lysiak, ... 2023 Progress in Applied Electrical Engineering (PAEE), 1-8 | 2023 | ||
Initial study on quantitative electroencephalographic analysis of bioelectrical activity of the brain of children with fetal alcohol spectrum disorders (FASD) without epilepsy W Bauer, KA Dylag, A Lysiak, W Wieczorek-Stawinska, M Pelc, ... Scientific Reports 13 (1), 109 | 2023 | ||
Earlybird A Kawala-Sterniuk, D Mikolajewski, A Bryniarska, M Myslicka, ... Technology 24 (4), 567-586 | 2023 | ||
Smart network anomaly detection software architecture for network-enabled ubiquitous devices M Pelc, D Galus, M Gola, A Kawala-Sterniuk Bulletin of the Polish Academy of Sciences. Technical Sciences 71 (4) | 2023 | ||
Implementation of a morphological filter for removing spikes from the epileptic brain signals to improve identification ripples AF Al-Bakri, R Martinek, M Pelc, J Zygarlicki, A Kawala-Sterniuk Sensors 22 (19), 7522 | 2022 | ||
Currents in biomedical signals processing—methods and applications A Kawala-Sterniuk, M Pelc, R Martinek, GM Wójcik Frontiers in neuroscience 16, 989400 | 2022 | ||
Influence of the variables describing brain signals on the performance of the naive bayesian classifier A Kawala-Sterniuk, J Zygarlicki, A Lysiak, B Grochowicz, M Pelc, W Bauer, ... 2022 Progress in Applied Electrical Engineering (PAEE), 1-5 | 2022 | ||
The Use of Various Neurostimulators in Therapy of Neurodegenerative Disorders–A Survey A Kawala-Sterniuk, A Gajos, M Pawłowski, W Libionka, WP Duch, ... 2022 Progress in Applied Electrical Engineering (PAEE), 1-6 | 2022 | ||
Multifunctional modified chitosan biopolymers for dual applications in biomedical and industrial field: Synthesis and evaluation of thermal, chemical, morphological, structural … L Chopra, JS Chohan, S Sharma, M Pelc, A Kawala-Sterniuk Sensors 22 (9), 3454 | 2022 | ||
Pilot Study on Application for Analysis of Magnetic Resonance Spectroscopy Spectra J Tomicka, K Cichoń, W Chlewicki, M Holicki, M Pelc, J Zygarlicki, ... IFAC-PapersOnLine 55 (4), 45-50 | 2022 | ||
Initial Study on Implementation of Smoothing Filters for the Purpose of Bioimpedance Spectroscopy Parameters Classification A Kawala-Sterniuk, AF Al-Bakri, M Pelc, K Cichoń, W Chlewicki, S Ozana, ... IFAC-PapersOnLine 55 (4), 393-398 | 2022 |
Prowadzenie badań, publikowanie, prace badawczo-wdrożeniowe w zakresie:
sztucznej inteligencji, sztucznej inteligencji w robotyce, systemów kognitywnych, systemów robotycznych, inteligentnej infrastruktury, systemów wbudowanych i IoT, a także cyberbezpieczeństwa.
Integracja środowisk akademickich w skali lokalnej i globalnej, budowanie sieci kompetencji, budowanie jakości polskiej nauki.
Badania/naukometria:
Autor ponad 128 artykułów naukowych, edytor 4 książek
Dydaktyka:
Opiekun ponad 64 prac inżynierskich, 32 magisterskich, 24 podyplomowych, promotor 4 doktorantów.
Pozyskiwanie środków i współpraca z biznesem:
Autor (lub współautor) 40 wniosków grantowych, w tym
15 finansowanych, w tym 6 ze środków UE lub krajowych, integrując zespoły badawcze z 8 krajów.
Ponad 20 lat pracy naukowo-dydaktycznej w szkolnictwie wyższym, a jednocześnie
doświadczenie praktyczne - zatrudnienie w 10 firmach/instytucjach na stanowiskach powiązanych z dyscypliną Informatyka.
dr hab. inż. Michał Podpora, prof. UO
uzyskał tytuł inżyniera i magistra na kierunku Informatyka i stopień doktora nauk technicznych w dyscyplinie Automatyka i Robotyka na Politechnice Opolskiej. W 2021 r. uzyskał habilitację z dyscypliny Cybernetyka, na Wydziale Elektrotechniki i Informatyki, VSB-Technical University of Ostrava.
Autor ponad 128 artykułów naukowych, edytor 4 książek, opiekun ponad 64 prac inżynierskich, 32 magisterskich, 24 podyplomowych, promotor 4 doktorantów. Autor (lub współautor) 40 wniosków grantowych, w tym
15 finansowanych, w tym 6 ze środków UE lub krajowych.
Obecnie zatrudniony jako adiunkt w Instytucie Informatyki Uniwersytetu Opolskiego, aktywnie współpracuje z otoczeniem biznesu w charakterze konsultanta systemów AI. Jego główne zainteresowania badawcze obejmują sztuczną inteligencję w robotyce, systemy kognitywne, systemy robotyczne, inteligentną infrastrukturę, systemy wbudowane, IoT i cyberbezpieczeństwo.
Bose-Einstein condensation in systems of interacting and noninteracting bosons.
Lattice models for two-dimensional electrons. Spectral node engineering and Hall plateaux formation.
Disorder and interactions in systems of two- and three-dimensional electrons with spectral nodes.
Anderson localization and quantum Hall transition.
Topological phase transitions in systems of interacting electrons.
Superconductivity in Dirac bilayers and mixed double layers with Dirac and conventional particles.
Renormalization group (RG) techniques in a variety of variants: functional, perturbative, field-theoretical RG.
Different averaging techniques in application to disordered systems: Supersymmetry, replica trick, perturbative averaging.
Bosonization in functional integral framework
Entanglement of miltipartite quantum states and axiomatics of quantum mechanics.
2023/25 Research grants of the Julian Schwinger Foundation for Physics Research
2022/24 Personal research grant of Agencia Estatal de Investigacion Espania (Version of Marie-Curie fellowship)
Logiki komputerowe.
Teoretyczne podstawy informatyki, złożoność obliczeniowa.
Zakres zainteresowań naukowych mieści się w obszarze nauk ścisłych, dziedzinie nauk matematycznych, dyscyplinie informatyka, i dotyczy głównie
teoretycznych podstaw reprezentacji wiedzy, w tym wiedzy nieostrej, ze szczególnym uwzględnieniem teorii zbiorów przybliżonych i logik deskrypcyjnych,
teoretycznych zagadnień związanych z biomolekularnymi automatami DNA.
Wybrane publikacje:
Ponad dwudziestoletnie doświadczenie w prowadzeniu zajęć dydaktycznych z informatyki, w tym z baz danych i systemów komputerowych.
Koordynator kierunku informatyka o profilu ogólnoakademickim (od 2020).
Nagroda Quality w roku akademickim 2022/2023 przyznana przez Rektora Uniwersytetu Opolskiego z a działalność na rzecz podnoszenia jakości kształcenia w Uniwersytecie Opolskim.
Prowadzone zajęcia:
Instytut Informatyki:
Wydział Lekarski:
Wydział Prawa i Administracji:
sztuczna inteligencja, systemy wbudowane
Iwański Jacek, Suchacka Grażyna: Investigating Reliability Of Machine Learning Results Depending On A Method And The Feature Pre-Processing - The Case Of E-Customer Session Classification, W: Proceedings of the 38th ECMS International Conference on Modelling and Simulation ECMS 2024 / Grzonka Daniel[i in.](red.), Communications of the ECMS, vol. 38, nr 1, 2024, European Council for Modelling and Simulation, ISBN 978-3-937436-84-5, s. 528-535.
Suchacka Grażyna, Iwański Jacek: Identifying legitimate Web users and bots with different traffic profiles— an Information Bottleneck approach, Knowledge-Based Systems, vol. 197, 2020, Numer artykułu: 105875, s. 1-18, DOI:10.1016/j.knosys.2020.105875, IF(8,038).
Zatrudniony na stanowisku adiunkta w Instytucie Informatyki.
Moje zainteresowania naukowe to badania numeryczne w
- teorii przejść fazowych
- teorii układów fermionowych i zjawisko tak zwanej kondensacji fermionowej
- teorii układów nieuporządkowanych w tym substancji dielektrycznych, magnetycznych oraz szkieł spinowych
- teorii solitonów w tym z tak zwanymi pochodnymi ułamkowymi
1. V.A. Stephanovich, E.V. Kirichenko, G. Engel, Yu. G.
Semenov and K.W. Kim Carrier-induced ferromagnetism in two-dimensional
magnetically doped semiconductor structures. Physical Review B, 2021, v.104,
art#094423: 1-7.
2. V. A. Stephanovich, W. Olchawa, E. V. Kirichenko and V. K. Dugaev 1D solitons in cubic-quintic fractional nonlinear Schrödinger equation. Scientific Reports (2022) 12:15031. (https://doi.org/10.1038/s41598-022-19332-z ) .
3.
V.A. Stephanovich, E.V. Kirichenko, G. Engel and V.K. Dugaev Influence of Dirac
cone warping and tilting on the Friedel oscillations in a topological
insulator. Physical Review B, 2023,
v.107,art#035305: 1-9.
4. V.A. Stephanovich, W. Olchawa and E.V. Kirichenko Screened Coulomb interaction in insulators with strong disorder. Physical Review E, 2023, v.107,art#054141:1-9.
5. V. A. Stephanovich, E. V. Kirichenko, V. K. Dugaev, J. H. Sauco and B. L. Brito Fractional quantum oscillator and disorder in the vibrational spectra. Scientific Reports (2022) 12:12540. (https://doi.org/10.1038/s41598-022-16597-2 ) .
6. V. A. Stephanovich , E. V. Kirichenko , G. Engel , and A. Sinner Spin-orbit-coupled fractional oscillators and trapped Bose-Einstein condensates. Physical Review E, 2024,
v.109,art#014222:1-9.
7. V. A. Stephanovich , E. V. Kirichenko, and K. Książek, J.H. Sauco and B. L. Brito Quantum chaotic features of the spin-orbit coupled excitons in disordered two-dimensional insulators. Physical Review E, 2024, v.110,art#024201:1-10.
Prowadzę zajęcia z przedmiotów:
- Kurs programowania (C++, Pyton)
- Edycja i skład tekstów naukowych (przeważnie LaTeX)
- Technologie informacyjne
Unifikacja i jej typy w logice.
1. Dzik Wojciech, Kost Sławomir, Wojtylak Piotr: Finitary unification in locally tabular modal logics characterized, Annals of Pure and Applied Logic, vol. 173, nr 4, 2022, Numer artykułu: 103072, s. 1-39, DOI:10.1016/j.apal.2021.103072.
2. Kost Sławomir, Kostrzycka Zofia: Asymptotic comparison of the implicative fragments of certain fuzzy logics , W: 2022 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) Padua, Italy July 18 - 23, 2022, 2022, Institute of Electrical and Electronics Engineers, ISBN 978-1-6654-6710-0, s. 1-8, DOI:10.1109/FUZZ-IEEE55066.2022.9882699.
3. Dzik Wojciech, Kost Sławomir, Wojtylak Piotr: Unification types and union splittings in intermediate logics, Annals of Pure and Applied Logic, vol. 176, nr 1, 2025 (dostępny online od 16.08.2024), Numer artykułu: 508 , s. DOI:10.1016/j.apal.2024.103508.
Praca naukowa dr. inż. A. Kozika dotyczy modelowania problemów optymalizacji dyskretno-ciągłej w różnych zastosowaniach praktycznych oraz konstrukcji algorytmów ich rozwiązania. Jego prace dotyczą w szczególności badania własności i zastosowań reprezentacji Sequence-Pair w problemach pakowania i szeregowania zadań, oraz zastosowania narzędzi optymalizacji do zagadnień marszrutyzacji i harmonogramowania transportu. Drugim nurtem badań, wynikającym z doświadczeń zawodowych w branży gier komputerowych, jest inżynieria gier komputerowych, w szczególności algorytmy grafiki czasu rzeczywistego oraz zagadnienia sztucznej inteligencji.
Interesuję się algorytmiczną teorią gier, ale także czystą teorią gier i czystymi algorytmami aproksymacyjnymi.
Pracuję głównie w następujących obszarach:
1. Definiowanie i analizowanie koncepcji rozwiązań oraz wpływanie na rozgrywkę
2. Realistyczne modelowanie rzeczywistych interakcji
3. Algorytmiczna teoria gier
4. Teoretyczne algorytmy aproksymacyjne
Statystyka matematyczna, w szczególności z zastosowaniem w medycynie.
W sferze zainteresowań naukowych znajdują się głównie zagadnienia związane ze sztuczną inteligencją oraz analizą obrazu.
Na kierunku Informatyka prowadzę takie przedmioty jak:
Metody uczenia maszynowego i eksploracji danych
Zastosowanie metod uczenia maszynowego i eksploracji danych w różnych obszarach
Data science
Analiza danych, modelowanie i symulacja
Analityka internetowa
Eksploracja użytkowania WWW
Analiza i modelowanie zachowań użytkowników
Doktor informatyki (Politechnika Wrocławska, Wydział Informatyki i Zarządzania)
Magister inżynier informatyki, specjalność: Systemy informacyjne
(Politechnika Wrocławska, Wydział Informatyki i Zarządzania)
Magister zarządzania, specjalność: Zarządzanie przedsiębiorstwem
(Politechnika Wrocławska, Wydział Informatyki i Zarządzania)
Badania naukowe w obszarze nauk ścisłych, w dziedzinie nauk ścisłych i przyrodniczych, w dyscyplinie informatyka oraz w dziedzinie nauk matematycznych, dyscyplinie – matematyka. Obecne badania dotyczą analizy zagrożeń bezpieczeństwa i prywatności użytkowników urządzeń mobilnych. W pracy łączę techniki informatyczne z analizą statystyczną i metodami probabilistycznymi.
Ostatnie publikacje:
1. Kobiela Jarosław, Urbaniec Piotr: Evaluation of the clustering method used to analyze the proximity of mobile devices using indirect geolocation indicators. W: Advances in Mobile Computing and Multimedia Intelligence. 22nd: International Conference, MoMM 2024, Bratysława, Słowacja, Grudzień 2-4, 2024. (artykuł zaakceptowany).
2. Kobiela Jarosław Sławomir, Urbaniec Piotr Krzysztof: Analysis of data obtained from the Mobile Botnet, W: Advances in Mobile Computing and Multimedia Intelligence. 21st International Conference, MoMM 2023, Denpasar, Bali, Indonesia, December 4–6, 2023, Proceedings / Haghighi Pari Delir[i in.](red.), Lecture Notes In Computer Science, vol. 14417, 2023, Springer, ISBN 978-3-031-48347-9, s. 20-34, DOI:10.1007/978-3-031-48348-6_2.
Ostatnie projekty badawcze:
Realizator w projekcie NCBiR pt. „System oceniający i monitorujący poziom cyberbezpieczeństwa urządzeń loE/loT obywateli Rzeczpospolitej Polskiej – CyberEva”/"System for assessing and monitoring the level of cyber security of IoE/IoT devices of citizens of the Republic of Poland"
National Centre for Research and Development (Warsaw, PL)
URL: http://www.cybereva.pl/
GRANT_NUMBER: CYBERSECIDENT/489912/IV/NCBR/2021
Architektura komputerów
Systemy operacyjne
Analiza matematyczna
Metody probabilistyczne i statystyka
Statystyka
Teoria miary i całki
Interesuję się zagadnieniami fizyki teoretycznej związanymi z:
Wykaz najważniejszych publikacji
magisterium (fizyka) Wydział Matematyki, Fizyki i Chemii Uniwersytetu Opolskiego, 2002r. Tytuł pracy: ”Zmiany struktury tlenków metali w wyniku intensywnego mielenia” (promotor: prof. dr hab. Tadeusz Górecki),
magisterium (matematyka) Wydział Matematyki, Fizyki i Chemii Uniwersytetu Opolskiego, 2004r. Tytuł pracy: ”Zastosowanie metod stochastycznych w matematycznym modelowaniu własności substancji stosowanych w komputerach kwantowych” (promotor: prof. dr hab. Vladimir Stephanovich),
doktorat Wydział Fizyki i Astronomii Uniwersytetu Wrocławskiego, 2010 r. (fizyka) Tytuł pracy: ”Nieodwracalna dynamika kwantowych układów optycznych” (promotor: prof. dr hab. Robert Olkiewicz),
inżynier (informatyka) Wydział Matematyki, Fizyki i Informatyki Uniwersytetu Opolskiego 2020r. Tytuł pracy: "Projekt i implementacja aplikacji wykorzystującej uczenie maszynowe do przewidywania kursów akcji" (promotor: dr Jacek Iwański)
wykonywanie innych poleceń dyrektora Instytutu.
Uczenie maszynowe oraz sztuczna inteligencja
Przetwarzanie dużych zbiorów danych
Sieci komputerowe
Systemy operacyjne Linux
Magister inżynier w dyscyplinie informatyka techniczna i telekomunikacja w zakresie Sieci komputerowe i systemy baz danych, 2022 (Politechnika Opolska, Wydział Elektrotechniki, Automatyki i Informatyki)
Prowadzone przedmioty:
Poza nauczaniem, moimi głównymi zainteresowaniami zawodowymi są sztuczna inteligencja i sieci neuronowe. Ciekawi mnie, jak te technologie rewolucjonizują różne dziedziny – od analizy danych, przez rozpoznawanie obrazów i języka naturalnego, po autonomiczne systemy.
Jestem nauczycielem akademickim, który specjalizuje się przede wszystkim w nauczaniu języków programowania. W swojej pracy szczególnie cenię interaktywność – zależy mi na tym, żeby studenci nie tylko rozumieli teorię, ale potrafili zastosować ją w realnych projektach.
Teoria Macierzy Losowych, Statystyka.
2024
Prowadzę zajęcia z:
Obsługa Sekretariatu Instytutu Informatyki.
Wydział Matematyki, Fizyki i Informatyki
ul. Oleska 48,
45-910 Opole
tel. +48 77 452 72 00
e-mail: wmfi@uni.opole.pl
Uniwersytet Opolski
ul. Kopernika 11a
45-040 Opole
Rektorat
tel.: 77 541 59 03
Biuro Kanclerza
tel.: 77 541 60 70
NIP: 754-000-71-79
Regon: 000001382