جستجوی استاد راهنمای دانشگاهی

Roman Matuszewski is a retired Associate Professor at the University of Bialystok, affiliated with the Faculty of Philology's Department of Applied Linguistics. His research focuses on automated reasoning, formalized mathematics, and the Mizar Project, which he has been involved with since its inception in 1973. He holds a PhD in Computer Science from Shinshu University (2000) and has held academic positions at multiple institutions, including part-time roles at Bogdan Janski University. Education: PhD in Computer Science (2000), Master of Science in Mechanics (1975), Engineer (1973), all from Polish institutions. His work emphasizes formal proof systems, mathematical knowledge management, and education integration of automated reasoning tools. Research interests include automated deduction, formal proof verification, and the application of these methods to mathematics education. His contributions to the Mizar Mathematical Library and its 50-year history (celebrated in 2023) are foundational for interactive theorem proving. Key awards include the Silver Cross of Merit (2004) and multiple Rector’s prizes. He has organized major conferences like MKM2004 and served on program committees for events such as IJCAR and Tableaux. Grants include leadership roles in EU-funded projects like TYPES and CALCULEMUS. His work bridges computer science and mathematics through formalized systems, impacting both research and education.

• Automated Reasoning
• Formalized Mathematics
• Computer Science
• +۳ مورد دیگر

Bartosz Grzybowski serves as Distinguished Affiliate Professor at the Institute of Organic Chemistry, Polish Academy of Sciences (PAS), leading the Laboratory of Computer-Assisted Synthesis. His work bridges artificial intelligence and experimental organic chemistry to transform synthesis from trial-and-error into algorithmic science. His research focuses on AI-driven synthesis planning , reaction network analysis , and computational prediction of chemical properties . Key contributions include pioneering algorithms for multistep organic synthesis of complex targets, discovery of novel organic reactions through AI, and design of temporally/spatially synchronized reaction networks. His group develops methods for sustainable chemistry, drug analog design, and enzymatic process optimization. Analysis of his 2023-2025 publications reveals dominant trends in retrosynthetic AI (87% of articles), sustainable chemistry applications (63%), and integration of mechanistic understanding with machine learning. Work frequently appears in Nature , Science , and JACS , emphasizing experimental validation of computational predictions. Prof. Grzybowski currently advises three PhD students and collaborates with a multidisciplinary team: Core team : Assoc. Prof. Michał Michalak (Adjunct), Dr. Anna Żądło-Dobrowolska, Dr. Aleksei Koshevarnikov Active grant : NCN SONATA 2020/39/D/ST4/01890 on hazardous chemical degradation (PI: Żądło-Dobrowolska) The Laboratory of Computer-Assisted Synthesis operates as an integrated computational-experimental unit at IBS-IOC PAS. Current projects include blockchain-orchestrated reaction networks, AI-guided catalyst selection, and metabolic-cycle emulation. The group maintains strong industry/academic partnerships for validating algorithms in drug discovery and green chemistry applications.

• Artificial Intelligence in Chemistry
• Computer-Assisted Organic Synthesis
• Reaction Network Analysis
• +۳ مورد دیگر

Michał Turek is a Professor at the Department of Applied Informatics within the Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering at AGH University of Science and Technology in Kraków, Poland. His primary workplace is located in room 303a of building C-2, and he maintains active contact through email (mitu@agh.edu.pl) and phone (+48 12 617 52 03), indicating current academic engagement. His research spans Software Engineering with particular emphasis on Workflow Management Systems integration with industrial applications, Image Analysis for 3D surface inspection, and Agile Methodologies implementation. Turek has pioneered innovations in Scrum adaptation for multi-project environments and software product lines, while developing formal verification frameworks for business processes and service-oriented architectures. His work bridges theoretical computer science with practical industrial solutions, especially in automated damage identification systems and workflow optimization. Analysis of his 15 most recent publications reveals consistent focus on workflow system intelligence (2020-2022), with significant contributions to automatic correction mechanisms and smart procedure integration. Earlier works (2010-2016) demonstrate deep expertise in formal verification methods, Scrum economics, and 3D surface analysis techniques. The publications show interdisciplinary convergence between software engineering, computer vision, and industrial automation, with recurring themes of system resilience and process optimization across both English and Polish scholarly outputs.

• Software Engineering
• Workflow Management Systems
• Image Analysis
• +۲ مورد دیگر

Dr. Bogumiła Hnatkowska serves as Assistant Professor at the Institute of Informatics within the Faculty of Computer Science and Management at Wrocław University of Science and Technology. Her academic career spans software engineering research and education with emphasis on model-driven approaches and quality assurance methodologies. Her research interests include: Software Engineering Analysis and Design of Information Systems Software Development Methodologies Model-Based Software Development Domain-Specific Languages Software Quality Recent publications (2021-2025) reveal concentrated research in model-driven engineering, business rules processing, and ontology integration. Key trends involve textual specification languages for use-cases, automated test generation mechanisms, and formal transformations for ontologies – demonstrating consistent application of theoretical rigor to practical software development challenges across agile and model-based contexts. Scientific Awards: No scientific awards were mentioned in the provided text Dr. Hnatkowska has served as principal investigator for multiple State Committee for Scientific Research grants including UML extensions for multimedia systems (2000), real-time systems analysis (2005), and model-driven database design (2008). Her teaching portfolio includes Software Engineering, Software System Development, and Advanced Programming Techniques courses where she supervises team projects providing students with hands-on development experience. She actively participates in partner programs including Visual Paradigm's Academic Training Partner Program (providing UML/BPMN/agile tools) and IBM Academic Initiative, supporting her research in software engineering methodologies and educational tool development.

• Software Engineering
• Analysis and Design of Information Systems
• Software Development Methodologies
• +۳ مورد دیگر

Tomasz Pełech-Pilichowski serves as a Lecturer at the Institute of Computer Science within the Faculty of Computer Science at AGH University of Science and Technology in Kraków. He concurrently holds dual administrative leadership positions as Director of the AGH Recruitment Center and Rector's Representative for Recruitment, demonstrating significant institutional impact beyond his academic role. His research expertise spans artificial intelligence, natural language processing, and legal informatics with methodological foundations in deep learning and time series analysis. Recent work focuses on AI-driven solutions for legal text processing (text segmentation, hypertext law), educational technology (gamification, recruitment systems), and security applications (facial-age detection, anomaly identification). His interdisciplinary approach consistently bridges computer science with law, education, and environmental science through practical implementations. Analysis of his 2023-2025 publications reveals three dominant research trajectories: legal tech innovation (68% of output featuring text segmentation and regulatory automation), educational transformation (22% including gamified AI skill development), and security/environmental systems (10% covering IoT integration and pollution prediction). This progression shows increasing specialization in AI-NLP fusion techniques applied to domain-specific challenges, particularly within legal informatics where he has developed novel text recovery and visualization frameworks.

• Artificial Intelligence
• Natural Language Processing
• Legal Informatics
• +۵ مورد دیگر

Dariusz Król is a Professor at the Department of Applied Computer Science, Faculty of Computer Science and Telecommunications at Wrocław University of Science and Technology. He serves as Vice-dean for general matters and Head of the Knowledge Engineering Lab. With a strong background in technical and engineering sciences, his academic career spans over two decades of teaching and research in computer science and telecommunications. Professor Król's educational background, though not explicitly detailed in the provided texts, is evidenced by his habilitation (dr hab. inż.) and professorship at one of Poland's leading technical universities. His extensive experience is reflected in his long-standing teaching career and research leadership. Professor Król's research interests focus on knowledge engineering, multi-agent systems, data quality, and intelligent production. His scholarly output shows a progression from foundational work in multi-agent systems to contemporary applications of deep learning in industrial contexts. Recent publications demonstrate increasing emphasis on practical applications of data quality assessment in production environments, with strong connections to Industry 4.0 and intelligent manufacturing concepts. His work consistently bridges theoretical foundations with real-world industrial applications where data quality and intelligent systems play crucial roles. His scholarly impact is evidenced by his edited books ranking among Springer's top downloaded publications, with two titles placing in the top 25% most downloaded books in 2018. His editorial leadership extends to serving as editor for Computational Intelligence (Wiley-Blackwell) since 2008 and International Journal of Distributed Systems and Technologies since 2010. Book 'Advanced Topics in Intelligent Information and Database Systems' among top 25% most downloaded Springer books in 2018 (31,481 downloads) Book 'Recent Developments in Intelligent Information and Database Systems' among top 25% most downloaded Springer books in 2018 (24,896 downloads) Book 'Propagation Phenomena in Real World Networks' among top 50% most downloaded Springer books in 2015-2016 Professor Król has supervised over 50 Master's and Engineering theses across diverse topics in computer science. He teaches courses ranging from foundational programming to advanced topics in knowledge engineering, maintaining an active teaching schedule for over 18 academic years. He leads the KNJavaTech scientific circle, which has provided research opportunities for students since 2005. His international collaborations include invited seminars at prestigious institutions worldwide, demonstrating global recognition of his expertise in knowledge engineering and intelligent systems.

• Knowledge Engineering
• Multi-agent Systems
• Data Quality
• +۵ مورد دیگر

Andrei Popescu is a Senior Lecturer (Associate Professor level) in the Department of Computer Science at the University of Sheffield, where he conducts research in formal methods, proof assistants, and information flow security. He previously held academic positions at Middlesex University and TU Munich. University: University of Sheffield Department: Department of Computer Science Previous Affiliations: Middlesex University, TU Munich His research focuses on the logical foundations and practical applications of proof assistants, particularly Isabelle/HOL. He has made foundational contributions to inductive and coinductive datatypes, syntax with bindings, higher-order logic, and the formal verification of secure systems. His work bridges theoretical logic with real-world systems such as conference management (CoCon) and social media platforms (CoSMeDis). The recent publications highlight a strong trend in formalizing deep logical results (e.g., Gödel’s incompleteness theorems), advancing datatype theory, verifying complex security properties, and applying formal methods to practical systems. His work consistently appears in top-tier venues such as POPL, CAV, ITP, and CSF. Distinguished Paper Award at POPL 2025 Distinguished Paper Award at POPL 2024 Distinguished Paper Award at POPL 2023 RS 3 Best Paper Award for 2012–2013 He has advised PhD students including Lorenzo Gheri and has been actively involved in organizing major academic events such as the Midlands Graduate School, CPP, ITP, and TABLEAUX conferences. He has served on numerous program committees including POPL, ITP, CSF, and CAV, and has led research projects funded by VeTSS and industrial partners. He is a key contributor to the Isabelle proof assistant ecosystem, particularly in the development of the (co)datatype package and foundational consistency results. His work combines deep theoretical insight with practical implementation, making significant impacts in both academia and applied security.

• Proof Assistants
• Formal Verification
• Inductive and Coinductive Datatypes
• +۱۲ مورد دیگر

Mauricio Ayala Rincón is a Full Professor at Universidade de Brasília, affiliated with the Department of Computer Science and the Department of Mathematics. He is a leading researcher in computational logic, formal methods, and term rewriting systems, and heads the Theory of Computation research group (GTC/UnB). Research Interests: His work focuses on the formalization of mathematical and computational theories using proof assistants like PVS. Key areas include term rewriting systems, equational and rewrite-based deduction, automated reasoning, unification, nominal logic, formal verification, and applications in genomics and evolutionary algorithms. He also explores ethics in AI and mechanized mathematics. Recent Publication Trends: His recent articles (2023–2024) reflect a strong emphasis on formalizing algebraic and logical theories in PVS, advancing nominal equational reasoning, anti-unification over algebraic theories, and applying evolutionary algorithms to computational biology. The work is highly theoretical yet applied in verification and combinatorics. Scientific Awards: Best Paper Award at CICM 2023 for "Nominal AC-matching" Advising and Grants: He actively seeks PhD students in algorithmics, formal methods, theorem proving, and AI ethics. He has led numerous research projects, evidenced by extensive publications and editorial roles. He has not listed specific grants, but his continuous output suggests sustained funding. Labs and Teams: He leads the Grupo de Teoria da Computação (GTC/UnB) , which develops PVS libraries for term rewriting (TRS), nominal theories, and evolutionary algorithms. The group maintains public repositories and contributes to the NASA PVS library.

• Term Rewriting Systems
• Automated Reasoning
• Theorem Proving
• +۱۳ مورد دیگر

Prof. Adrian Horzyk is a distinguished academic at AGH University of Science and Technology, where he leads research in Artificial Intelligence , Associative Systems , and Biocybernetics within the Department of Biocybernetics and Biomedical Engineering . His work bridges Neural Networks , Knowledge Graphs , and Biomedical Applications , with a focus on associative computing and computational intelligence . Key Roles: Professor, AGH University of Science and Technology Labs: Biocybernetics, Cognitive Science, and Artificial Intelligence Laboratory Horzyk's research explores associative knowledge graphs (ANAKG/LANAKG), self-optimizing neural networks (ASONN), and graph-based data structures (AGDS). He investigates how neural plasticity , synaptic delays , and semantic memory can enhance AI systems, including applications in medical diagnostics (e.g., Fetal Alcohol Syndrome classification) and emotional state analysis via chatbots. His recent publications span topics like ECG signal compression , stock market forecasting , and associative reasoning in neural networks . He has developed AVB+ trees for data structure optimization and DASNG (Deep Associative-Semantic Neural Graphs) for efficient data representation. Scientific Collaborations: Collaborated with leaders in AI, including Prof. Leszek Rutkowski and Prof. Ryszard Tadeusiewicz Contributed to international competitions and publications, including monographs like Artificial Associative Systems and Associative Artificial Intelligence (EXIT Publishing, 2013)

• Artificial Intelligence
• Neural Networks
• Associative Systems
• +۴ مورد دیگر

Cláudia Nalon is a full professor in the Department of Computer Science at the University of Brasília. Her research focuses on proof methods for modal and combined logics, with applications in automated reasoning and theorem proving. Her primary research interests include: Modal and temporal logics Resolution and tableau-based proof systems Automated theorem proving Coalition and multi-modal logics Implementation of reasoning tools Her recent publications demonstrate a strong focus on resolution-based methods for various modal logics, including normal and non-normal systems, with an emphasis on efficient reductions, implementation in provers like KSP, and empirical evaluation. She has also contributed to related areas such as description logics and Petri net verification. She has been recognized through editorial and leadership roles in major conferences including TABLEAUX, CADE, and LSFA, and serves on the editorial board of prominent journals. She has supervised numerous student projects leading to implemented provers and formalizations. Her work bridges theoretical foundations with practical software implementations in automated reasoning.

• Modal Logic
• Temporal Logic
• Automated Reasoning
• +۷ مورد دیگر

Adam Naumowicz is an Assistant Professor at the Faculty of Computer Science, University of Bialystok, where he has been employed since 2000. His academic work centers around the development and application of the Mizar system for automated proof checking and formalization of mathematics. Ph.D. in Informatics from Shinshu University (2005) M.Sc. in Mathematics from University of Bialystok (2000) B.A. in English Philology from University of Bialystok (2004) Naumowicz's research focuses on automated theorem proving and the formalization of mathematics , particularly through the Mizar system. His work spans formal methods in computer science education , with additional interests in general topology , continuous lattices , and algebraic geometry . He has made significant contributions to the Mizar Mathematical Library, advancing the formal verification of mathematical results. Analysis of his recent publications (2017-2023) reveals a strong emphasis on number theory formalization within the Mizar framework, with multiple "Elementary Number Theory Problems" papers. His work increasingly integrates automated reasoning techniques with mathematical education , as seen in his study of Mizar user interactivity in university courses. The publications demonstrate consistent development of the Mizar system's capabilities for handling complex mathematical structures and proofs. Editor of Formalized Mathematics journal Editor of Journal of Formalized Reasoning Managing Editor of Central European Journal of Computer Science (2010-2014) Guest Editor for special issue on Computer Reconstruction of Mathematics Naumowicz has been actively involved in numerous research grants from 1997-2018, including EU-funded projects like TYPES II and CALCULEMUS. He regularly teaches courses on structured programming, logic, set theory, and formal methods. As a key member of the Mizar development team, he participates in major conferences including CICM, ITP, and TYPES, often serving on program committees and organizing workshops on formal mathematics.

• Automated Theorem Proving
• Formal Methods
• Mathematical Logic
• +۵ مورد دیگر

Jakub Flotyński serves as a Professor in the Department of Information Technology within the Institute of Informatics and Quantitative Economics at Poznan University of Economics and Business. His research spans computer science with a strong focus on virtual reality, 3D web technologies, and semantic modeling, combining 75% information and communication technology with 25% management and quality studies. His research interests center on Virtual Reality , Extended Reality (XR) , and Semantic Web technologies , specializing in explorable environments, knowledge-based adaptation of interfaces, and ontology-driven 3D content modeling. His work bridges technical innovation with practical applications in industrial training, data visualization, and immersive experiences. Analysis of his 15 most recent publications (2020-2025) reveals a consistent focus on E-XR (Explorable Extended Reality) development frameworks, semantic annotation systems, and knowledge-based adaptation techniques. His research demonstrates strong interdisciplinary connections between computer science, semantic technologies, and practical business applications, with particular emphasis on industrial training scenarios and data visualization systems. Jakub Flotyński maintains an active research profile with 51 documented publications and a ministerial score of 1,270. His work is supported by two documented research projects and eight professional activities. He utilizes semantic technologies and knowledge representation systems to advance XR interface design and 3D content behavior modeling.

• Virtual Reality
• 3D Web Technologies
• Ontology Engineering
• +۵ مورد دیگر

Krzysztof Kluza is an Assistant Professor at the Department of Applied Informatics, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering at AGH University of Science and Technology in Krakow, Poland. He is also a member of the KRaKEn research group and previously served as Deputy Dean for Education from 2016 to 2020. His educational background includes a Master of Science in Automatics & Robotics from AGH University, a Master of Arts in Cultural Studies from Jagiellonian University, postgraduate studies in Contemporary China at Jagiellonian University, and a Masters of Didactics Program at University College London. Dr. Kluza's research focuses on the intersection of artificial intelligence and business process management. His work explores how AI technologies, particularly Large Language Models, can enhance business process modeling, analysis, and education. He has made significant contributions to process mining, knowledge representation, and the integration of business rules with process models. His recent publications show a strong emphasis on AI applications in business process management, with particular focus on educational contexts and sustainability. The research spans multiple domains including food computing, music informatics, disaster management, and biomedical engineering applications. Dr. Kluza has been actively involved in academic service, having served as Secretary of the board of the Polish Artificial Intelligence Society from 2009 to 2017 and as Vice President of the Creativity and Innovation Lab Foundation from 2014 to 2019. His interdisciplinary approach bridges computer science, business process management, and educational theory, making significant contributions to both academic research and practical applications in business process modeling and analysis.

• Artificial Intelligence
• Business Process Management
• Knowledge Representation
• +۲ مورد دیگر

Antoni Ligęza is a Professor at the Department of Applied Informatics, Faculty of Electrical Engineering, Automatics, Computer Science and Biomedical Engineering, AGH University of Science and Technology in Kraków. His research focuses on artificial intelligence, business process modeling, constraint programming, and knowledge engineering. He actively explores explainable AI methodologies, including grammatical evolution and temporal logic-based approaches.

• Artificial Intelligence
• Business Process Modeling
• Knowledge Engineering
• +۹ مورد دیگر

Adam Wiśniewski is Professor and Head of the Department of Public International Law at the University of Gdańsk. He has been nominated as a candidate for Judge of the European Court of Human Rights by the Republic of Poland. His scholarly work focuses on human rights protection mechanisms, international jurisprudence, and the application of European Convention standards in domestic legal systems. Wiśniewski examines emerging challenges including climate litigation, digital rights, and the impact of globalization on legal systems. Through extensive publications, he has analyzed interpretive methodologies in human rights law, the evolving role of international courts, and philosophical foundations of justice in transnational contexts. His recent work addresses how international law responds to technological and environmental challenges. Wiśniewski's research demonstrates consistent engagement with the European Court of Human Rights' jurisprudence, examining both procedural innovations like advisory opinions and substantive areas including business rights, media freedoms, and AI regulation. As Poland's candidate for the European Court of Human Rights, his expertise encompasses both theoretical frameworks and practical implementation of human rights standards across diverse legal systems.

• Human Rights Law
• European Court of Human Rights
• International Law
• +۲ مورد دیگر