Profil naukowy / Scientific Profile

Biografia i wykształcenie

Działalność naukowa koncentruje się w obszarze nauk ścisłych i przyrodniczych (matematyka) oraz inżynieryjno-technicznych (informatyka techniczna i telekomunikacja). Edukację na poziomie średnim ukończył w latach 1960–1964 w I Liceum Ogólnokształcącego im. Bartosza Głowackiego w Tomaszowie Lubelskim. Studia wyższe na kierunku matematyka ukończył w 1971 roku w Wyższej Szkole Pedagogicznej w Rzeszowie.

Stopień doktora nauk matematycznych uzyskał w 1985 roku na Wydziale Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego na podstawie rozprawy poświęconej problemowi przydziału zasobów w systemach współbieżnych programów. W 2000 roku w Instytucie Podstaw Informatyki PAN w Warszawie uzyskał stopień doktora habilitowanego nauk technicznych w zakresie informatyki na podstawie rozprawy dotyczącej zastosowania metod zbiorów przybliżonych do syntezy i analizy procesów współbieżnych. W 2012 roku odebrał z rąk Prezydenta RP tytuł profesora nauk technicznych.

Doświadczenie badawcze rozwijał podczas wielokrotnych staży krajowych oraz zagranicznych. W kraju przebywał wielokrotnie na stażach naukowych w Uniwersytecie Warszawskim (1979–1980, 1991–1993, 1998–1999) oraz w Międzynarodowym Centrum Matematycznym im. Stefana Banacha w Warszawie (1986, 1996). Doświadczenie międzynarodowe budował m.in. w Centrum voor Wiskunde en Informatica (CWI) w Amsterdamie (1993), na University of Manitoba w Kanadzie jako profesor wizytujący (2000–2001) oraz w King Abdullah University of Science and Technology (KAUST) w Arabii Saudyjskiej (2011, 2016).

Praca zawodowa i działalność organizacyjna

Przez większość kariery akademickiej związany z Wyższą Szkołą Pedagogiczną w Rzeszowie (obecnie Uniwersytet Rzeszowski), gdzie pełnił m.in. funkcje dyrektora Instytutu Informatyki (2011–2012) oraz kierownika Katedry Informatyki (2006–2011, 2013–2018). Jest głównym organizatorem studiów informatycznych I i II stopnia na tej uczelni.

Równolegle zarządzał Katedrą Podstaw Informatyki w Wyższej Szkole Informatyki i Zarządzania w Rzeszowie (2001–2006) oraz pełnił funkcję prorektora ds. rozwoju Państwowej Wyższej Szkoły Techniczno-Ekonomicznej w Jarosławiu (2007–2009).

Wykazuje bardzo bogatą aktywność w międzynarodowym życiu naukowym. Był organizatorem oraz współorganizatorem wielu krajowych i międzynarodowych konferencji naukowych, w tym cyklicznych warsztatów Concurrency, Specification and Programming (CS&P). Aktywnie uczestniczy w pracach ciał eksperckich, od lat pełniąc nieprzerwanie funkcję członka Komitetów Programowych (Program Committee) licznych prestiżowych konferencji naukowych w kraju i za granicą.

W 2001 roku zainicjował i objął liderowanie grupie badawczej Rough Set and Petri Net Research Group. W 2003 roku powołał do życia międzynarodowy serwis bibliograficzny Rough Set Database System, a w 2013 roku portal regionalny „Matematycy i Informatycy Podkarpacia+”. Zasiadał w komitetach programowych ponad 60 międzynarodowych konferencji i od 2003 roku jest członkiem Rady Wydawniczej czasopisma LNCS Transactions on Rough Sets (Springer-Verlag).

W roli promotora z powodzeniem sfinalizował 4 przewody doktorskie oraz 185 prac magisterskich, inżynierskich i licencjackich.

Badania naukowe i współpraca

Główne kierunki badawcze obejmują algorytmiczne metody sztucznej inteligencji (zbiory przybliżone, rozmyte i miękkie), modelowanie matematyczne systemów współbieżnych z użyciem sieci Petriego, automatyczną ekstrakcję procesów z danych oraz reprezentację wiedzy. Do najważniejszych osiągnięć należy rozbudowanie matematycznych podstaw dla maksymalnych niesprzecznych rozszerzeń i ograniczeń systemów informacyjnych relatywnie do ich teorii. Dorobek publikacyjny obejmuje ponad 250 prac naukowych, monografii oraz podręczników.

Uznanie w międzynarodowym środowisku naukowym potwierdza regularne zapraszanie do recenzowania prac dla najbardziej prestiżowych czasopism naukowych z bazy JCR, m.in. Information Sciences, Expert Systems With Applications, IEEE Transactions on Neural Networks oraz Fundamenta Informaticae.

Prace badawcze realizowane są w szerokiej kooperacji z wiodącymi ośrodkami:

  • W kraju: Uniwersytet Warszawski, Instytut Podstaw Informatyki PAN, Uniwersytet Wrocławski, Uniwersytet Śląski, Politechnika Poznańska, Akademia Górniczo-Hutnicza w Krakowie, Politechnika Rzeszowska, WSIiZ w Rzeszowie.
  • Za granicą: University of Manitoba, University of Regina, University of Winnipeg, Saint Mary's University (Kanada); KAUST (Arabia Saudyjska); Politechnika Lwowska, Uniwersytet Kijowski, Uniwersytet Lwowski, Uniwersytet Czerniowiecki (Ukraina); Cairo University, South Valley University (Egipt); Visva-Bharati University, Midnapore College (Indie); Chongqing University of Posts and Telecommunications (Chiny); Ton Duc Thang University (Wietnam); Humboldt-Universität zu Berlin (Niemcy).

Członkostwo w towarzystwach naukowych

  • International Rough Set Society (od 1997; Senior Member od 2016; w latach 2010–2018 członek Advisory Board, sekretarz oraz członek Steering Committee)
  • Polskie Towarzystwo Matematyczne (od 1977; zastępca prezesa Zarządu Oddziału Rzeszowskiego w latach 1996–2000, 2002–2004)
  • Towarzystwo Naukowe w Rzeszowie (od 2001; zastępca prezesa Zarządu 2003–2006; przewodniczący Komisji Nauk Informatycznych od 2001)
  • Polskie Towarzystwo Informatyczne (od 1985; członek Zarządu Koła w Rzeszowie 1987–1990)
  • Gesellschaft für Informatik, Bonn – Special Interest Group on Petri Nets and Related System Models (od 1985)
  • European Society for Fuzzy Logic and Technology (od 2021)

Wybrane publikacje

Wybrane publikacje w prestiżowych czasopismach o zasięgu międzynarodowym oraz na wiodących konferencjach naukowych (układ chronologiczny):

  • Beyond the Black Box: A Novel Paradigm for Knowledge Representation and Decision-Making via Uninorm Petri Nets, „International Journal of Applied Mathematics and Computer Science” (AMCS), 2026.
  • Navigating Uncertainty: A Framework for Benchmarking Decision Quality in Fuzzy Petri Nets, [w:] Proceedings of the 26th International Conference on Computational Science (ICCS 2026), Hamburg, Germany, Lecture Notes in Computer Science, Vol. 16788, Springer Nature, 2026, pp. 386–393.
  • A novel methodology for the strategic optimization of uninorm Petri nets in intelligent information systems, [w:] Proceedings of the 34th International Conference on Information Systems Development (ISD 2026), Prague, Czech Republic, September 2–4, 2026.
  • Automated Discovery of Concurrent Models of Decision-Making Systems from Data, [w:] Proceedings of the 24th International Conference on Computational Science (ICCS 2024), Málaga, Spain, Lecture Notes in Computer Science, Vol. 14833, Springer, 2024, pp. 219–234.
  • On Selected Properties of Uninorm Petri Nets and Their Application in Modeling Knowledge-Based Systems, „Procedia Computer Science”, Vol. 225, Elsevier, 2023, pp. 155–164.
  • Modeling of Passenger Transport Logistics Based on Intelligent Computational Techniques, „International Journal of Computational Intelligence Systems”, Vol. 14, Art. 173, Springer, 2021.
  • A new class of fuzzy Petri nets for knowledge representation and reasoning, „Fundamenta Informaticae”, Vol. 128, No. 1-2, 2013, pp. 195–213.
  • Maximal Consistent Extensions of Information Systems Relative to Their Theories, „Information Sciences”, Vol. 178, No. 12, Elsevier, 2008, pp. 2600–2620.
  • Classification of meteorological volumetric radar data using rough set methods, „Pattern Recognition Letters”, Vol. 24, No. 6, 2003, pp. 911–920.
  • Rough Set Methods for the Synthesis and Analysis of Concurrent Processes, [w:] Studies in Fuzziness and Soft Computing, Springer-Verlag, Heidelberg 2000, pp. 379–488.
  • Approximate real-time decision making: Concepts and rough fuzzy Petri net models, „International Journal of Intelligent Systems”, Vol. 14, No. 8, 1999, pp. 437–461.
  • A parallel algorithm for real-time decision making: A rough set approach, „Journal of Intelligent Information Systems”, Vol. 7, No. 1, 1996, pp. 5–28.

Słowniki biograficzne, odznaczenia i wyróżnienia

Sylwetka i osiągnięcia naukowe zostały udokumentowane w prestiżowych wydawnictwach biograficznych, takich jak: Encyklopedia OSOBISTOŚCI Rzeczypospolitej Polskiej (British Publishing House Ltd., Londyn), Złota Księga Nauki Polskiej, Złota Księga Nauk Technicznych, Who is Who in Science and Engineering oraz Słownik biograficzny profesorów Uniwersytetu Rzeszowskiego.

Uhonorowany licznymi odznaczeniami państwowymi i resortowymi:

  • Złoty Krzyż Zasługi (2017)
  • Srebrny Krzyż Zasługi (2002)
  • Medal Komisji Edukacji Narodowej (2011)
  • Statuetka polskiej informatyki za wybitne osiągnięcia i wkład w rozwój informatyki w Polsce (Polskie Towarzystwo Informatyczne, 2018)
  • Medal 70-lecia Towarzystwa Naukowego w Rzeszowie (2006)
==== o ====

Biography and Education

The research activity focuses on exact and natural sciences (mathematics) as well as engineering and technology (technical informatics and telecommunications). Secondary education was completed in 1960–1964 at the Bartosz Głowacki 1st Secondary School of General Education in Tomaszów Lubelski. Higher education studies in mathematics were graduated in 1971 at the Higher Pedagogical School in Rzeszów.

The Ph.D. degree in mathematical sciences was obtained in 1985 at the Faculty of Mathematics, Informatics and Mechanics of the University of Warsaw, based on a doctoral dissertation dedicated to the resource allocation problem in concurrent program systems. In 2000, the D.Sc. (habilitation) degree in technical sciences in the field of computer science was granted by the Institute of Computer Science of the Polish Academy of Sciences in Warsaw, based on a dissertation concerning the application of rough set methods to the synthesis and analysis of concurrent processes. In 2012, the title of Professor of Technical Sciences was awarded by the President of the Republic of Poland.

Research experience was developed during numerous domestic and international fellowships. Domestically, multiple research stays were completed at the University of Warsaw (1979–1980, 1991–1993, 1998–1999) and at the Stefan Banach International Mathematical Center in Warsaw (1986, 1996). International experience was built, among others, at the Centrum voor Wiskunde en Informatica (CWI) in Amsterdam (1993), at the University of Manitoba in Canada as a visiting professor (2000–2001), and at the King Abdullah University of Science and Technology (KAUST) in Saudi Arabia (2011, 2016).

Professional Career and Organizational Activity

Throughout most of the academic career, associated with the Higher Pedagogical School in Rzeszów (currently the University of Rzeszów), serving, among others, as the Director of the Institute of Computer Science (2011–2012) and the Head of the Department of Computer Science (2006–2011, 2013–2018). Acted as the main organizer of the 1st and 2nd cycle degree programs in computer science at this university.

In parallel, chaired the Department of Foundations of Computer Science at the University of Information Technology and Management in Rzeszów (2001–2006) and served as the Vice-Rector for Development at the State Higher School of Technology and Economics in Jarosław (2007–2009).

Demonstrates vast activity in the international scientific community. Served as an organizer and co-organizer of numerous domestic and international scientific conferences, including the cyclical international workshops on Concurrency, Specification and Programming (CS&P). Actively participates in expert bodies, continuously serving for many years as a member of the Program Committees for numerous prestigious scientific conferences both in Poland and abroad.

In 2001, initiated and assumed the leadership of the Rough Set and Petri Net Research Group. In 2003, established the international bibliographic service Rough Set Database System, and in 2013 launched the regional knowledge portal "Mathematicians and Computer Scientists of Podkarpacie+". Since 2003, serves as a member of the Editorial Board of the journal LNCS Transactions on Rough Sets (Springer-Verlag).

In the role of a supervisor, successfully managed 4 completed doctoral procedures and 185 master's, engineering, and bachelor's theses.

Research and Collaboration

Main research fields include algorithmic methods of artificial intelligence (rough sets, fuzzy sets, and soft sets), mathematical modeling of concurrent systems using Petri nets, automated process extraction from data, and knowledge representation. The most significant achievements include the development of mathematical foundations for maximal consistent extensions and restrictions of information systems relative to their theories. The publication record includes over 250 scientific papers, monographs, and academic textbooks.

Recognition in the international scientific environment is confirmed by regular invitations to review papers for the most prestigious JCR-indexed scientific journals, including Information Sciences, Expert Systems With Applications, IEEE Transactions on Neural Networks, and Fundamenta Informaticae.

Research projects are carried out in broad cooperation with leading domestic and international centers:

  • In Poland: University of Warsaw, Institute of Computer Science of the Polish Academy of Sciences, University of Wrocław, University of Silesia, Poznań University of Technology, AGH University of Science and Technology in Kraków, Rzeszów University of Technology, University of Information Technology and Management in Rzeszów.
  • Abroad: University of Manitoba, University of Regina, University of Winnipeg, Saint Mary's University (Canada); KAUST (Saudi Arabia); Lviv Polytechnic National University, Taras Shevchenko National University of Kyiv, Ivan Franko National University of Lviv, Yuriy Fedkovych Chernivtsi National University (Ukraine); Cairo University, South Valley University (Egypt); Visva-Bharati University, Midnapore College (Indie); Chongqing University of Posts and Telecommunications (China); Ton Duc Thang University (Vietnam); Humboldt-Universität zu Berlin (Germany).

Membership in Scientific Societies

  • International Rough Set Society (since 1997; Senior Member since 2016; served as an Advisory Board member, Secretary, and Steering Committee member in 2010–2018)
  • Polish Mathematical Society (since 1977; Vice-Chairman of the Rzeszów Branch Board in 1996–2000, 2002–2004)
  • Rzeszów Society of Friends of Sciences (since 2001; Vice-Chairman of the Board 2003–2006; Chairman of the Commission on Computer Sciences since 2001)
  • Polish Information Processing Society (since 1985; Member of the Branch Board in Rzeszów 1987–1990)
  • Gesellschaft für Informatik, Bonn – Special Interest Group on Petri Nets and Related System Models (since 1985)
  • European Society for Fuzzy Logic and Technology (since 2021)

Selected Publications

Selected publications in prestigious international journals and leading scientific conferences (chronological order):

  • Beyond the Black Box: A Novel Paradigm for Knowledge Representation and Decision-Making via Uninorm Petri Nets, „International Journal of Applied Mathematics and Computer Science” (AMCS), 2026.
  • Navigating Uncertainty: A Framework for Benchmarking Decision Quality in Fuzzy Petri Nets, [w:] Proceedings of the 26th International Conference on Computational Science (ICCS 2026), Hamburg, Germany, Lecture Notes in Computer Science, Vol. 16788, Springer Nature, 2026, pp. 386–393.
  • A novel methodology for the strategic optimization of uninorm Petri nets in intelligent information systems, [w:] Proceedings of the 34th International Conference on Information Systems Development (ISD 2026), Prague, Czech Republic, September 2–4, 2026.
  • Automated Discovery of Concurrent Models of Decision-Making Systems from Data, [w:] Proceedings of the 24th International Conference on Computational Science (ICCS 2024), Málaga, Spain, Lecture Notes in Computer Science, Vol. 14833, Springer, 2024, pp. 219–234.
  • On Selected Properties of Uninorm Petri Nets and Their Application in Modeling Knowledge-Based Systems, „Procedia Computer Science”, Vol. 225, Elsevier, 2023, pp. 155–164.
  • Modeling of Passenger Transport Logistics Based on Intelligent Computational Techniques, „International Journal of Computational Intelligence Systems”, Vol. 14, Art. 173, Springer, 2021.
  • A new class of fuzzy Petri nets for knowledge representation and reasoning, „Fundamenta Informaticae”, Vol. 128, No. 1-2, 2013, pp. 195–213.
  • Maximal Consistent Extensions of Information Systems Relative to Their Theories, „Information Sciences”, Vol. 178, No. 12, Elsevier, 2008, pp. 2600–2620.
  • Classification of meteorological volumetric radar data using rough set methods, „Pattern Recognition Letters”, Vol. 24, No. 6, 2003, pp. 911–920.
  • Rough Set Methods for the Synthesis and Analysis of Concurrent Processes, [w:] Studies in Fuzziness and Soft Computing, Springer-Verlag, Heidelberg 2000, pp. 379–488.
  • Approximate real-time decision making: Concepts and rough fuzzy Petri net models, „International Journal of Intelligent Systems”, Vol. 14, No. 8, 1999, pp. 437–461.
  • A parallel algorithm for real-time decision making: A rough set approach, „Journal of Intelligent Information Systems”, Vol. 7, No. 1, 1996, pp. 5–28.

Biographical Dictionaries, Orders and Awards

The profile and scientific achievements have been documented in prestigious domestic and international biographical encyclopedias and dictionaries, including: Encyclopedia of PERSONALITIES of the Republic of Poland (published by British Publishing House Ltd., London), The Golden Book of Polish Science, The Golden Book of Technical Sciences, Who is Who in Science and Engineering, and The Biographical Dictionary of Professors of the University of Rzeszów.

Honored with numerous state and departmental awards:

  • Gold Cross of Merit (2017)
  • Silver Cross of Merit (2002)
  • Medal of the Commission of National Education (2011)
  • The Statuette of Polish Informatics for outstanding achievements and contributions to the development of informatics in Poland (Polish Information Processing Society, 2018)
  • The 70th Anniversary Medal of the Rzeszów Society of Friends of Sciences (2006)